{\rtf1\adeflang1025\ansi\ansicpg1252\uc1\adeff0\deff0\stshfdbch0\stshfloch0\stshfhich0\stshfbi0\deflang2070\deflangfe2070\themelang2070\themelangfe0\themelangcs0{\fonttbl{\f0\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\f1\fbidi \fswiss\fcharset0\fprq2{\*\panose 020b0604020202020204}Arial{\*\falt Arial};}{\f2\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070309020205020404}Courier New;}
{\f5\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070409020205020404}Courier{\*\falt Courier New};}{\f5\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070409020205020404}Courier{\*\falt Courier New};}
{\flomajor\f31500\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fdbmajor\f31501\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fhimajor\f31502\fbidi \froman\fcharset0\fprq2{\*\panose 02040503050406030204}Cambria;}{\fbimajor\f31503\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\flominor\f31504\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fdbminor\f31505\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fhiminor\f31506\fbidi \fswiss\fcharset0\fprq2{\*\panose 020f0502020204030204}Calibri;}{\fbiminor\f31507\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\f288\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\f289\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}
{\f291\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\f292\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\f293\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\f294\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\f295\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\f296\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\f298\fbidi \fswiss\fcharset238\fprq2 Arial CE{\*\falt Arial};}
{\f299\fbidi \fswiss\fcharset204\fprq2 Arial Cyr{\*\falt Arial};}{\f301\fbidi \fswiss\fcharset161\fprq2 Arial Greek{\*\falt Arial};}{\f302\fbidi \fswiss\fcharset162\fprq2 Arial Tur{\*\falt Arial};}
{\f303\fbidi \fswiss\fcharset177\fprq2 Arial (Hebrew){\*\falt Arial};}{\f304\fbidi \fswiss\fcharset178\fprq2 Arial (Arabic){\*\falt Arial};}{\f305\fbidi \fswiss\fcharset186\fprq2 Arial Baltic{\*\falt Arial};}
{\f306\fbidi \fswiss\fcharset163\fprq2 Arial (Vietnamese){\*\falt Arial};}{\f308\fbidi \fmodern\fcharset238\fprq1 Courier New CE;}{\f309\fbidi \fmodern\fcharset204\fprq1 Courier New Cyr;}{\f311\fbidi \fmodern\fcharset161\fprq1 Courier New Greek;}
{\f312\fbidi \fmodern\fcharset162\fprq1 Courier New Tur;}{\f313\fbidi \fmodern\fcharset177\fprq1 Courier New (Hebrew);}{\f314\fbidi \fmodern\fcharset178\fprq1 Courier New (Arabic);}{\f315\fbidi \fmodern\fcharset186\fprq1 Courier New Baltic;}
{\f316\fbidi \fmodern\fcharset163\fprq1 Courier New (Vietnamese);}{\flomajor\f31508\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\flomajor\f31509\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\flomajor\f31511\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\flomajor\f31512\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\flomajor\f31513\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\flomajor\f31514\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\flomajor\f31515\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\flomajor\f31516\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fdbmajor\f31518\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fdbmajor\f31519\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fdbmajor\f31521\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fdbmajor\f31522\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fdbmajor\f31523\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fdbmajor\f31524\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fdbmajor\f31525\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fdbmajor\f31526\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fhimajor\f31528\fbidi \froman\fcharset238\fprq2 Cambria CE;}{\fhimajor\f31529\fbidi \froman\fcharset204\fprq2 Cambria Cyr;}
{\fhimajor\f31531\fbidi \froman\fcharset161\fprq2 Cambria Greek;}{\fhimajor\f31532\fbidi \froman\fcharset162\fprq2 Cambria Tur;}{\fhimajor\f31535\fbidi \froman\fcharset186\fprq2 Cambria Baltic;}
{\fhimajor\f31536\fbidi \froman\fcharset163\fprq2 Cambria (Vietnamese);}{\fbimajor\f31538\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbimajor\f31539\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbimajor\f31541\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbimajor\f31542\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbimajor\f31543\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbimajor\f31544\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbimajor\f31545\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbimajor\f31546\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\flominor\f31548\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\flominor\f31549\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\flominor\f31551\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\flominor\f31552\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\flominor\f31553\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\flominor\f31554\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\flominor\f31555\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\flominor\f31556\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fdbminor\f31558\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fdbminor\f31559\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fdbminor\f31561\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fdbminor\f31562\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fdbminor\f31563\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fdbminor\f31564\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fdbminor\f31565\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fdbminor\f31566\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fhiminor\f31568\fbidi \fswiss\fcharset238\fprq2 Calibri CE;}{\fhiminor\f31569\fbidi \fswiss\fcharset204\fprq2 Calibri Cyr;}
{\fhiminor\f31571\fbidi \fswiss\fcharset161\fprq2 Calibri Greek;}{\fhiminor\f31572\fbidi \fswiss\fcharset162\fprq2 Calibri Tur;}{\fhiminor\f31575\fbidi \fswiss\fcharset186\fprq2 Calibri Baltic;}
{\fhiminor\f31576\fbidi \fswiss\fcharset163\fprq2 Calibri (Vietnamese);}{\fbiminor\f31578\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbiminor\f31579\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbiminor\f31581\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbiminor\f31582\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbiminor\f31583\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbiminor\f31584\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbiminor\f31585\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbiminor\f31586\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}}{\colortbl;\red0\green0\blue0;\red0\green0\blue255;\red0\green255\blue255;\red0\green255\blue0;\red255\green0\blue255;\red255\green0\blue0;
\red255\green255\blue0;\red255\green255\blue255;\red0\green0\blue128;\red0\green128\blue128;\red0\green128\blue0;\red128\green0\blue128;\red128\green0\blue0;\red128\green128\blue0;\red128\green128\blue128;\red192\green192\blue192;
\cfollowedhyperlink\ctint255\cshade255\red128\green0\blue128;}{\*\defchp \fs22 }{\*\defpap \ql \li0\ri0\sa200\sl276\slmult1\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 }\noqfpromote {\stylesheet{
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \snext0 \sqformat \spriority0 Normal;}{
\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel0\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \ab\af1\afs32\alang1025 \ltrch\fcs0 \b\f1\fs32\lang1033\langfe2070\kerning32\cgrid\langnp1033\langfenp2070 
\sbasedon0 \snext0 \slink15 \sqformat \styrsid4287903 heading 1;}{\s2\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel1\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \ab\ai\af1\afs28\alang1025 \ltrch\fcs0 
\b\i\f1\fs28\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext0 \slink16 \sqformat \styrsid4665521 heading 2;}{\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0 
\rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 \b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext0 \slink17 \sqformat \styrsid11078918 heading 3;}{\*\cs10 \additive \ssemihidden Default Paragraph Font;}{\*
\ts11\tsrowd\trftsWidthB3\trpaddl108\trpaddr108\trpaddfl3\trpaddft3\trpaddfb3\trpaddfr3\tblind0\tblindtype3\tsvertalt\tsbrdrt\tsbrdrl\tsbrdrb\tsbrdrr\tsbrdrdgl\tsbrdrdgr\tsbrdrh\tsbrdrv \ql \li0\ri0\sa200\sl276\slmult1
\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs22\alang1025 \ltrch\fcs0 \fs22\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 \snext11 \ssemihidden \sunhideused Normal Table;}{\*\cs15 \additive \rtlch\fcs1 
\ab\af31503\afs32 \ltrch\fcs0 \b\fs32\lang1033\langfe0\kerning32\loch\f31502\hich\af31502\dbch\af31501\langnp1033 \sbasedon10 \slink1 \slocked \spriority9 Heading 1 Char;}{\*\cs16 \additive \rtlch\fcs1 \ab\ai\af31503\afs28 \ltrch\fcs0 
\b\i\fs28\lang1033\langfe0\loch\f31502\hich\af31502\dbch\af31501\langnp1033 \sbasedon10 \slink2 \slocked \ssemihidden \spriority9 Heading 2 Char;}{\*\cs17 \additive \rtlch\fcs1 \ab\af31503\afs26 \ltrch\fcs0 
\b\fs26\lang1033\langfe0\loch\f31502\hich\af31502\dbch\af31501\langnp1033 \sbasedon10 \slink3 \slocked \ssemihidden \spriority9 Heading 3 Char;}{\s18\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \shading2000 
\rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 \snext18 VDM;}{\*\cs19 \additive \rtlch\fcs1 \af5 \ltrch\fcs0 \f5\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 VDM_COV;}{\*\cs20 \additive 
\rtlch\fcs1 \af5 \ltrch\fcs0 \f5\cf6\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 VDM_NCOV;}{\s21\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 \sbasedon18 \snext21 VDM_TC_TABLE;}{\s22\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\f2\fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 \sbasedon0 \snext22 \slink23 \styrsid4665521 Plain Text;}{\*\cs23 \additive \rtlch\fcs1 \af2\afs20 \ltrch\fcs0 \f2\fs20\lang1033\langfe0\langnp1033 \sbasedon10 \slink22 \slocked \ssemihidden 
Plain Text Char;}{\s24\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 
\sbasedon0 \snext0 \sautoupd \ssemihidden \styrsid4665521 toc 1;}{\s25\ql \li400\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin400\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext0 \sautoupd \ssemihidden \styrsid4665521 toc 3;}{\s26\ql \li200\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin200\itap0 \rtlch\fcs1 \af0\afs20\alang1025 
\ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext0 \sautoupd \ssemihidden \styrsid4665521 toc 2;}{\*\cs27 \additive \rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2 \sbasedon10 \styrsid4665521 Hyperlink;}{\s28\ql \li0\ri0\widctlpar
\tqc\tx4252\tqr\tx8504\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext28 \slink29 \styrsid13898866 header;}{\*\cs29 
\additive \rtlch\fcs1 \af0\afs20 \ltrch\fcs0 \fs20\lang1033\langfe0\langnp1033 \sbasedon10 \slink28 \slocked \ssemihidden Header Char;}{\s30\ql \li0\ri0\widctlpar\tqc\tx4252\tqr\tx8504\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 
\rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext30 \slink31 \styrsid13898866 footer;}{\*\cs31 \additive \rtlch\fcs1 \af0\afs20 \ltrch\fcs0 \fs20\lang1033\langfe0\langnp1033 
\sbasedon10 \slink30 \slocked \ssemihidden Footer Char;}{\*\cs32 \additive \rtlch\fcs1 \af0 \ltrch\fcs0 \sbasedon10 \styrsid13248462 page number;}{\*\cs33 \additive \rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf17 
\sbasedon10 \ssemihidden \sunhideused \styrsid5402033 FollowedHyperlink;}}{\*\pgptbl {\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0
\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp0\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp
\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24
\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp24\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp8\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp0\itap0\li0\ri0\sb0\sa0}{\pgp\ipgp0\itap0\li0\ri0\sb0\sa0}}{\*\rsidtbl \rsid410085
\rsid671627\rsid929447\rsid1068169\rsid1192688\rsid1387382\rsid1534875\rsid1656481\rsid1861160\rsid2362749\rsid2366428\rsid2449219\rsid2830865\rsid2911504\rsid3285325\rsid3744639\rsid3762770\rsid3891360\rsid4094245\rsid4160863\rsid4281668\rsid4287903
\rsid4534717\rsid4599294\rsid4603033\rsid4616479\rsid4665521\rsid5073430\rsid5201012\rsid5260342\rsid5402033\rsid5452753\rsid5593894\rsid5722937\rsid5925853\rsid7157316\rsid7633712\rsid7825017\rsid7945140\rsid8539033\rsid9072797\rsid9114857\rsid10709779
\rsid10973676\rsid11078918\rsid11172515\rsid11348468\rsid11364667\rsid11557249\rsid11687597\rsid11692999\rsid11866300\rsid11993589\rsid12595642\rsid13248462\rsid13780789\rsid13898866\rsid14113571\rsid14364433\rsid15158043\rsid15339302\rsid15365202
\rsid15598498\rsid15620155\rsid16006690\rsid16014267\rsid16458642\rsid16460017\rsid16467336\rsid16599897\rsid16734490}{\mmathPr\mmathFont34\mbrkBin0\mbrkBinSub0\msmallFrac0\mdispDef1\mlMargin0\mrMargin0\mdefJc1\mwrapIndent1440\mintLim0\mnaryLim1}{\info
{\author Jo\'e3o}{\operator abeldantas}{\creatim\yr2005\mo10\dy24\hr9\min50}{\revtim\yr2012\mo12\dy6\hr16\min31}{\version47}{\edmins158}{\nofpages4}{\nofwords452}{\nofchars2443}{\*\company IFAD}{\nofcharsws2890}{\vern49247}}{\*\xmlnstbl {\xmlns1 http://sc
hemas.microsoft.com/office/word/2003/wordml}}\paperw12240\paperh15840\margl1418\margr1134\margt1134\margb1134\gutter0\ltrsect 
\widowctrl\ftnbj\aenddoc\hyphhotz425\trackmoves0\trackformatting1\donotembedsysfont0\relyonvml0\donotembedlingdata1\grfdocevents0\validatexml0\showplaceholdtext0\ignoremixedcontent0\saveinvalidxml0\showxmlerrors0
\noxlattoyen\expshrtn\noultrlspc\dntblnsbdb\nospaceforul\hyphcaps0\formshade\horzdoc\dghspace180\dgvspace180\dghorigin1701\dgvorigin1984\dghshow0\dgvshow0\jexpand\viewkind1\viewscale100\pgbrdrhead\pgbrdrfoot\nolnhtadjtbl\nojkernpunct\rsidroot15598498 
\fet0{\*\wgrffmtfilter 013f}\ilfomacatclnup0{\*\template D:\\Programas\\The VDM++ Toolbox v6.8.6-Lite\\word\\VDM.dot}{\*\ftnsep \ltrpar \pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 
\af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid2362749 \chftnsep 
\par }}{\*\ftnsepc \ltrpar \pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 
\ltrch\fcs0 \insrsid2362749 \chftnsepc 
\par }}{\*\aftnsep \ltrpar \pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 
\ltrch\fcs0 \insrsid2362749 \chftnsep 
\par }}{\*\aftnsepc \ltrpar \pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 
\ltrch\fcs0 \insrsid2362749 \chftnsepc 
\par }}\ltrpar \sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\headerr \ltrpar \pard\plain \ltrpar\qc \li0\ri0\widctlpar\tqc\tx4395\tx8364\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid13248462 
\rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid13248462 \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang2070\langfe2070\langnp2070\insrsid13248462\charrsid13898866 Especifica\'e7\'e3o e Teste da Stack  em VDM++}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid13898866 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 
\cs32\lang2070\langfe2070\langnp2070\insrsid13248462\charrsid5402033  PAGE }}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs32\lang1024\langfe1024\noproof\langnp2070\insrsid5593894 3}}}\sectd \ltrsect\linex0\endnhere\sectdefaultcl\sftnbj {\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid13248462 \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid13898866\charrsid13898866 
\par }}{\*\pnseclvl1\pnucrm\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl2\pnucltr\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl3\pndec\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl4\pnlcltr\pnstart1\pnindent720\pnhang {\pntxta )}}
{\*\pnseclvl5\pndec\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl6\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl7\pnlcrm\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl8
\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl9\pnlcrm\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 
\af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid11078918 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4665521 {\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid4665521\charrsid4665521 
 INCLUDEPICTURE "http://www.fe.up.pt/si/imagens/Spacer" \\* MERGEFORMATINET }}{\fldrslt {\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid929447\charrsid4665521 {\*\shppict
{\pict{\*\picprop\shplid1025{\sp{\sn shapeType}{\sv 75}}{\sp{\sn fFlipH}{\sv 0}}{\sp{\sn fFlipV}{\sv 0}}{\sp{\sn pibFlags}{\sv 2}}{\sp{\sn fLine}{\sv 0}}{\sp{\sn wzDescription}{\sv Logotipo da Faculdade de Engenharia d
a Universidade do Porto}}{\sp{\sn fLayoutInCell}{\sv 1}}{\sp{\sn fLayoutInCell}{\sv 1}}}\picscalex100\picscaley100\piccropl0\piccropr0\piccropt0\piccropb0
\picw53\pich53\picwgoal30\pichgoal30\pngblip\bliptag-1469407768{\*\blipuid a86a9de81ab14aef76333617dc8b68a8}89504e470d0a1a0a0000000d49484452000000020000000202030000000fd8e5b70000000c504c5445000000ffffff996666fffffffa333ca00000000474524e
53ffffff00402aa9f400000001624b47440088051d480000000c636d50504a436d7030373132000000074f6db7a50000000c4944415418d363f8c0f0010003c401e15e6af1d00000000049454e44ae426082}}{\nonshppict{\pict\picscalex100\picscaley100\piccropl0\piccropr0\piccropt0\piccropb0
\picw53\pich53\picwgoal30\pichgoal30\wmetafile8\bliptag-1469407768{\*\blipuid a86a9de81ab14aef76333617dc8b68a8}0100090000032100000000000500000000000400000003010800050000000b0200000000050000000c0203000300030000001e00040000002701ffff030000000000}}}}}
\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid4665521\charrsid4665521 
\par }\pard \ltrpar\qc \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4665521 {\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid4665521  HYPERLINK "http://www.fe.up.pt/" \\o "P\'e1gina da FEUP" }{
\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid929447 {\*\datafield 
10d0c9ea79f9bace118c8200aa004ba90b0200000003000000e0c9ea79f9bace118c8200aa004ba90b4200000068007400740070003a002f002f007700770077002e00660065002e00750070002e00700074002f000000795881f43b1d7f48af2c825dc485276300000000a5ab00000000}}}{\fldrslt 
{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cf2\insrsid4665521  INCLUDEPICTURE "http://paginas.fe.up.pt/%7Ejpf/teach/MFES/feup-bx.gif" \\* MERGEFORMATINET }}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cf2\insrsid929447\charrsid4665521 
{\*\shppict{\pict{\*\picprop\shplid1026{\sp{\sn shapeType}{\sv 75}}{\sp{\sn fFlipH}{\sv 0}}{\sp{\sn fFlipV}{\sv 0}}{\sp{\sn pibFlags}{\sv 2}}{\sp{\sn fLine}{\sv 0}}{\sp{\sn pihlShape}{\sv {\*\hl{\hlfr http://www.fe.up.p}{\hlsrc http://www.fe.up.pt/}
}}}{\sp{\sn wzTooltip}{\sv "P\'e1gina da FEUP"}}{\sp{\sn fLayoutInCell}{\sv 1}}{\sp{\sn fIsButton}{\sv 1}}{\sp{\sn fLayoutInCell}{\sv 1}}}\picscalex73\picscaley19\piccropl0\piccropr0\piccropt0\piccropb0
\picw7620\pich7620\picwgoal4320\pichgoal4320\pngblip\bliptag1621200673{\*\blipuid 60a18f212a8dbe0cabe7a2cab39478bf}89504e470d0a1a0a0000000d494844520000017b000000640803000000501760c3000000c0504c5445e2cac5a85f50bfbfbf7e7e7e3d3d3d1c1c1cededed2b2b
2bfefefe5c5c5c0e0e0e6c6c6cc5958bdddddd8c8c8c4c4c4c9c9c9c232323141414636363434343535353cececef3f3f30a0a0afcfcfc383838838383323232
f8f8f8d5d5d5949494e3e3e3aeaeae737373a3a3a3923825f1e5e2050505a9a9a9c6c6c6f8f2f1e9d7d4a05242787878030303994533010101be887cb6b6b6d3
afa8b67a6ebcbcbc7c7c7caf6c5ebababacca299b2b2b2dbbdb7b3b3b38c2d19000000ffffff000000a4e1169f00000001624b47440088051d480000000c636d
50504a436d703037313200000003480073bc00001ebc49444154785eed5d095bdbbad28678b7f1bec67b1c4842499a0612520af2ffff59df8c6cc776e2003ded
85f3dd8b9e738a6dedef8c46a3d148b928bfc2672170f159157fd55b7e61ff794cf085fd17f69f87c0e7d5fcc5f75fd87f1e029f57f317dfff7fc15e144b51e4
490e7f4bf8ef2bfc1102efe67b511c8f1352f0b3891a64f6cc4f047e3c461a7c857f8ac0fbb01f8fc739472c428825997bc9701d96ac02122c7dc0ff9f56fd3f
9fef1dd88b4932b5624b5e45022142c6719cc0492167099c63adb9384dc6fff328fe3300dec45ef47389cca6a2ee088407c65f314f999731b2cb92c291ac62cb
9a533ff96795ff8fe77a0b7bdfb3749d139e8a1571ac02b09f591617ac0342b220246ecc8db68a1932f917fabfcf48af639fa8b164f83a4afa604d4c4e672d22
489a2458a61e726190418c4cccd15437f22fb9ffbbe8bf86bda8469c51968c6999ae151057120a5b8f891c0684d399252b8544d62c65e5d87cc95829ffbb751f
a7f7fe6109bcd72d899f28cab996a8c6f9b8439e11c3fe694fde97ff15ecf9d4e458e0663bdc85ee3a2cec25881cce24c0e92400a1236b36c3ea327c67e765a9
9355fa2aeb8f20f78836aa7deab55127720fc4f775008a9349176c8690b3d8bd16d75487ad3b5735c6616035f5bdad7b25dd79ec53b7d8b382b82d4ce2c42452
6c5aabc0649a96693b5079c84a2eb48238d28c48aa98ad357bf41ae3be853d4ee46719f6b59eea7db03e027b603c1008e7c348d2df419bb3d87b825926a1aceb
0e4afb68c9410fa5e93cc53281bfd3f91467de78a79135ab135b9108ef6bd22b8cfb16f625d4f06a87cef5c6008ee8c47d0cf6cd181e6cd47b8617643c83fdd8
13460193388498b1b50a27f68c1066036c0db027f5784b364f207c0a834836e7108e6ccb69209c07ff4dec79ad1249bf1d265a77bcfda7b187464e70d4bfc2d9
7f847d32b7d531e14ac794b9d09d15ae45e26d02c01b2627b8ae23704286102d22325334d96239abb0b25221ae7216fc13ecd5117463c43095a4f24610d412fe
a94ba0af10548369880269d4720239f033fe859c3ce6abb3f02366a2361df720c1a46d0d3f61267c0bca48638c53993dd20caf95f79ec668fdee347de0618cd2
b1e60d356e24412cb4aae208ac69189441be4f32692c9a4b6217ee4c915691bd224b6ca86eb95bd57b7a9e7aeaceb15038fb531244113127a1624aa96373a54e
a5d24038c11e80d060daae65278b4f0c4cd944a6994192e0d4acd2ef30afe33778d651f611af54d6f43b4327ee7a72656869f52bce02f858759bafd3d74927b4
9426b2696cfdb59e3e46551aae3b180f7d506822af6e1c15956de3ea5650cda22e931b427f087b7fe998a6e9facacc32893cdb450199fa65a9596eeaba026b59
9669725355913765399e93208b0817cc979665a7c4595867548021ec3badacb1c754b42b30ac415df11a38d748e9aaab180174a341eb600fdcd6c1be799391fb
7814124dde8aae34f414abc357aae74c0e39262d231dfa002d11dac6010b741bd7e9555be600f803d88fe759085cb52cb7c49dc304ab00f460b289c97c97ac56
50a98d3d99f19a4742007f4aaccc058604e593179fd7266b0d73fe20f6b2a4207bc1f835104ee803bca28ae8c1dba4c4b14d2486c13fc045147b561146259084
9b8c14592d5506be620e0db154186c1bbe3e090c8351409e128421a45768311087b0720c83d4e15a5cb146a88b8e17a016129d3314f843a95785a60f58828eec
41388d8e5de0b7b671582d94cf40e3308e9dd0eadb9a9aa701ec53771c42e25539230035081d1201f4dc72b20aa229d4e997225818eca93c531528513488e212
c904728dc73a74d11a067f087b3a141174ec5e853d720af4048081b2114f1c05480398dbb07b952a8430355da885389203875c6fa20324219f0a6d13b00a0001
b087c2387cc316b54c8da063732a798f8d42aae11bfe6db10756a0f419210190e19168d098b6716d131074943c4d3ffaf89f62afcaa332452463d0624ca24c89
93976353f7c733b296d7b2a5bb44b04860ad66221f9b409625c9744598ad499450de59ac86c4ce10f67411d444d45d010c959287fa01653ab43160e3e96b3519
e0b440989a1f2bb00fc2aac19ed72496ad4611e6a6639ec6a9070a02e322785568c859617fa8b9a27a077bec224d0bec51b5a6e293b6712df687ccd0a903af1c
4a3bc65e540358a4e645b802a4d70e3f73a5c02813c176c8f64956c69cb529f56cc1ad7c5bdecc09639a0950ca76c9d403037f04ad90d8d290064c6b67b1c745
1532478d3de0c361ebb15f753fab3fb47b750fa880584b94c615d8882f25468d7d3323d44c5c0d791ad72c4e69a187257025e42054d8d78da1546e97c987ac32
d0ac9675d518e936aec5fe50ca21ed01787838c6dee734985637aeb462892ccf27e11389a0638e0ae29cf3c7bcbb9e7a8eb7b5d85ce46530b2cd2d0dfb1d09ca
c2e2c0bec3d9f318cc10eaa979e12cf6d8cf0ef6480ad40e9023bbd8032da0070d9f565ac81a2550057605408f1430680e34abf0a349914a8770e0fb43f38eb0
ef89308c039903da2a14768a7d53d821cf6f612faa92cb7adede885742185bd3699c59fb923747b9363371933635f5e778ae9bc071a22fcf6cd1b3f2726b4d59
693edbc7a13ddd6a3001a7e629f8ad74adbbd96d61077b3a96eb190e1913ba4a4325825a196120fa383806b18712709d57015909852edf2b4da9070df21cf63d
8e6df9e7ef632ff29c0ddc4b0a552063d5334dc302355eb425454867396dbe6aba30a3561ad35eceb3c80431a0c49c34098adc877979047c2f6af189d4a13cd3
20808c7e0e7b95322535ed00df76978f3dec2bede5500ece7c54661ce40ab6b19a27704cb4e2a93fc53642e0604e7a4bde1fa805d557f2be9a1b3a8d83faaa69
aa91f7a8359ddaaafa3227d1247be98456b86009d81396e13c584765e2ec41e254b8258bc899dadc2ea56fb0d2318d3011a3b5136d82adc469244699b329dc13
c6c7ce558a0472f5815fe1a12f736a6d8d6285e852c546a53deeca1c78c512611c5434448a515da6873d2a1f9552c9b67a0e6a44746aa0a2a309801355f72bec
916850277f68014dd6e37b2c55838f981480ed635fc93fcc0d65f2a8ce76960975953decc59c5dc442b875e291bb8a3719676e56b15a6e155f136494e03918d0
022f1195c09852c646736af854a69cb2793689eeb22b370b932796cce513c6a7ab1d96a5321845c739bea73dac284d8700481d49a632a3ed9e07f58e50d9c1fd
856a36c43759a25a3b4bc9221813aa0c02c0289e40bf474ad45303a484a5402bc1aac141740635fa5abf9715fad2d1cc7bd863a96b892e1a609dd1c51ea9c129
6ca552d5a574cd7d43d88fd928896c83936458298188d9011fa344d1c4dc5902961a882339f2a7539705d30dac6a7d1336576c48a2b35367e680b021a6adab24
d64ae5c49a4f972b556819b4226077ae850fd09d7a19d8ae0b91fd5bec9b552bf26f8d3d5dc75401f0ad4d0af806bc79581eb764a2093bcb262ae09a00750dae
7dfbd8b7a5f61b57b10cad6a78053d80bd9813c54e4bad58721647c6b0a2e16ce29665212d050232644714592185b79d4e6c76a904112c6a393d43ec5da28724
a5626015db2120a29213c6a7430f7b5cb1db59be87161fd4ba518d888e32a8c55eab0d32ddc55465fa912b63044fc19791f391e32acb8bdc4c9cb5e5a76e480d
05952f9019fec72fb53da736085569fad837f61c8e8a93ee6464503ec04e3496a3a1154f57e68c59e34908ec4d2a138e237ee93b812983bd3202d10f73d516d6
599caf854ec697398c8a0c6c0840e17809d86b81056e0c25f8ac410f4d371fd93ab73dd533c1d078304ad63d1efc535930ab00e6cec624d84d5b993dfb411d19
edf60de4c3c1e3d55f3c88eba4ee583fdbaf3ca4e99489a6d521cc3ac560e386cc64d4ba5acd26e74be9629fc863d5df9891046661026c2bc27a8305ef1b29da
1424cfcd192f07dbd263267e852a71107b4bb781cd5cc10ca0aea4b0c8ccd6428be85bebcb6fe735feeaadadc4480875db7e3282916f91252007125ae105f043
13d5595eac490912068aab5dd1228f68bee08d0a0948e1c8810b8b3271039b2c6086b0c1dacfd5247abd01ffc3b11dbe17c138aeade42963fba2b10326169374
e3da601bdbd9c23a7688e19b11dd32c1e0ef749670699c95064c09a5c70574eca93379eaee3cb15c840ad2e42b9c47a083bd2f2b13cb9ddaa106b203789886b9
5970640e02df50c8d8978a4ce3946788ccf60c978f883993dd02f5c1b15ae935e33415235b858dac756a7d61ff2aebb5d883d79f63857bdb89d34e8e5134d5dd
0c3480440e4a315614b6105286b302ad6039194c9da4a0d8778268841279d6496e3604fc62fe41042e5aa5564e52762328ccb2cbae9b20b03d77b11909993a76
02585b69866c2f461c18795d5e25a6a770dba392d558e1cbb0104324cd57388b40cbf7636be196499a3a60b76cc3c40a75d1d9a4966d88fcd6996ba13b590bd9
fc49dbf8e3d28fc16fc439162de24e2927eb5199735f42e7b521df629fcaf92c20f622ec796aec6147a404b3fc6cab8e3361a63006b798837527e2bda41c45d1
9e19d81488425122aace513bc4573887408bbd06eaca64b6ccfad23b774824fa6190c7f3fdd822e642930a7ee15a6196ce53497ad6121d36118fc2889dbbf22e
56ccaeadea8b06c708b4d8737bb1007b5ca1f49955234fa5a6ef242ef597263133d7705265c32f0d09fda188305d1021e5793f573b4b2949a37e548ef905f82b
08b4d80b606a75cb3c2cfa4a4bb47af68db9e5f889c3e52b8e8bf442d9cc34f092f2f4d0724cce049373a6cd39b4f8344189f874b1b0bfb07fa78e29cc891315
8cd59b6ad16ab39f4c05472cec007da0026bf754a81bc10083ce8814c8ebe2640267de946a77820651c96cb2b284dd80e1f46b241c10e8f0bd66279aa3eb8b1e
3ae3251cedd135756f3985c3daf3652c3f2f9ecbdc05e7284657524cacc2bf6217fb5291f6fa42f4c75fd8bf4fcf119eb7a5b89838bd99531c85a6c34d416db1
47ec7e37952663ced414630c166061fec45239932305ec0edf970cec00892341133e58d1b93884db339dbebf6ac2db03f0c7dde521d1fde5cb40868bc7eb0107
a73ae1cd6b9198a6cd6a123bb343c5e9591f9302e600c6d56cdd5e831342cc39d365ac4bee52db2c4385cc50ce244b145345177b5044738de8fb2edf5fbc9c0b
b4ade7a2abeed7b12d16f4eb655562dd87a312ee1e7fde9cc25567815c6f63fff2d2d607f906325c1d2a1f22cc6b9147d85b227133dcf9ee844423966b128b77
632dcb340b770422007cae698a1eb94465a6991d0b0a2fc2739befc95db8ce4e2c3f137ba4caddfd3126ff4eec63d8952a24f7683bdd33096b67920e4abde12f
e86e9120d992311d4dc163d3d509380e2e9558b2096e32366164a72116f4d9d8bfbc7cffd6477f987f87c7c0c7f17d3c055cc389d3dfeaf323a2791a1b951947
16609fb1c29925cf18254a151c2378d01c8e47c04277f9dcc93815169ea64bc9e763fff2d267fd0ef6173f2e2f2f7f5472e9e667f57c73758512ece2ea0abed7
d8df40baabef28736eae20d54325e26e21c70f280ddf6e1ee073af9efbc7cb871f7524647f3c197f7d9923947329cac1e3a3cf041a3116dcdca7beb5fa33bced
d66e9a489b3262e7c4d50c773e619c993c4bbbd9d0a1cadf10eddf807d331d54edeb600fd834b3c5fd357dfc8ef3ca15a4aae47885fdb72a0eb1ff553d2090b7
77f55748f7b37a7c3c20d08dbcaf22ef0626ffeeda4a4c1de6c9ec880e282c674d7fe7aaba60ad63615e26baa48283a6bb74d5844406714a3eb3393b75a49e7a
943969c997a9faafc0fe7b972b007be0ddcb4b1045bfbe3f5ec1eb1dc00be05c3f7c7ff93980fd0d42ff086c0fd8df5e5f5e3d4052c011a1bfc3c9e3022972fd
0307c68fa6a247a423fe73419584078c6c2973684e17fb726cccb4f8a9c7f7be12c4b26193784646f6c437547ba749d3622a78a2a317da5a30b9d8567c76dad3
26974c695be66248dedfb57a60f3442bacb59493e84a5eff869e437593db0bec6f1dba03be996b9b7ed37100305d019e50d529dfc3e87800f9d38e173a2600ef
3b484e9fa12278bcfdfe725d237703c843f990e602f36155f0e754e9ea615f8edd38def5b0e761128583866e0e471a160b7ee9479a1ca98a2da4656cca3eb114
628f8b9880b34e272899164dd960dfd5ef87e16b99a002ea488b6ca27f177bccf7ab11165d960310a8820f48dcfea8c87301c2a5191ba7d80383a3b8a8b0ff59
499a9f2550e4572d9b60d07cc7126b943115a6a074c4a2affb911d943ad8abd9d29ce9765fd14985e069be9aa4a5133dab296fe7f6de542246d079515eae4ac7
4dc94c3348d6f749b0b5693ae5ed10dc62df09ee19cefe13ecbb92fad08a967f3b42b925f929f65428d5d83783e6aae163e4fbceb2a2d6a9e868a8b0ef449e2e
c23a6b2bf4260ae65a1ffb3c7412d150d385ad8cf6a2aae712ef644a14c331fe60b24287633c238107533ac1579e77aaa9baebaeebca87f37d59d6f31c65dc3a
b4d803eb3e7e2b417c237336c36d087b3a26301f1477f70bffa5d823d035f6d7740ab96c0ae9608f33491d79a4ec22710ead32d0416e614bf6910d19165b86aa
2e956203ae225c6e15113b7367b0c1222b2b55b50c321f1fbbff4d5cdedef88a607575a64fc0feb616f81d966bb1af9e284ed774fac450635fa9879424206550
5263ea0a5310e357f8886205bf80746f72d75882ccc169b796390382be4ed736cb0f127e437443e88b6e4cc78c4696a68cb252e5c661a06f4a374801fb62b51b
4bb26c9c186d18dd07b527e7adee60f804ec01bd5aa20ff03d65dd1b10f917c8fc7737e53d68e1384ddedca0d248b1077103640066bf40fd9e028ea2ea8aea36
f7b7373049d3b9f6f15779f3e3002514f2f2f3f696121052dcdddfde5ee1ec701c3a2c212f89c549a5d375cead924f61637c216c8d32b5c6111cfff11d1bb095
f558519fe0bcdf7199891215c450f345cf49e413b1ef0cf79ebe5251e6aaa47a2404902e07ed088081afdf40afac09f8d29a9c60f23ed8262a351243ab26d42b
07c4be591d50c175145aecc5d9d2e217c17687b81e054706d9327a82338bfe36b0ed825b52ece168271cfaef1b9d21e7deda1801e846716f0bec13b04706c4d0
e94d676d850af8cbcfef88f8370ae535488a6f08fef74a6779001d05bea06e730d14a06300344eaa2fded2dc74d4d04181116d353461155915fdf2f8eada4a8c
e06cbe4d742d38f5d29742465acd3d70bf9cec4370b295e63037588eb28a4c74543e0a1a5ba6ae2f253d713facc0b73907f4fb0ebbfe131df3b0e06cf4eee376
de5c0036b71754f186e78b0a9e8b8b43bdf5976f4d1424c64f5502c87150d921455f8d818487c8b6e8b37c5f26c4268e43a636badaf7834b8c5878f2c1b17b09
06868d696c61f5cb090bb91456e009db0fbcb44b854c34e6416f22e8a85bcd28ee72e4407447d7ff47d837e26260493920013efe53875ca22545e073ef16e689
5773218f2c06ce7eaac4e105676c2cf01e0873b69819f54d07dd86ef4ddeb0eca9cbcd3f17fb9bc6e43268c8fa78a84f6aec62af727ec61ba66d19c7c90ce7d9
5ac00e890aa7f877b10f671e80ef4382a7bd8283776c9d8997402bddca245af587cfc7f2fdcd2f505eaa70a401fe0b40af9bd0155363981ee118832039c77e35
23d7d07d706000ec45432f9f1538fe50bae8166882cb423f8c88176dca6da6f577c08637a64ee47d2b8e7af685df9039dd12e8331a26ff95a187fd7405e2c635
734e395275464ac194d38aeff19cb39496091ef2129eadd9915f03ef685bcb784aca2383e8a7614f4d02ffcad09b9e7de2c091a4a8340210293d11ae48197a23
f87086681f33859fc2197fb2d46cb8b6b48f7da2ad5477e2cc165be5e8d849cdbacdfabbb70a87ba06a27171d80ccf8a9b7f67bfb6e6ffbee11cf48f269caef1
df49a0fb87efef184ab7f7f7e7f6eb0f9dea5628a6fa3e835d2a2f3c3a9aac489607938007ae68e0b1339fea029cab9d6d4459dfad8e3678ad45664c596dc3f2
47cbdd8fd2effb32e7b20f4067d23963317d9b00680a7d3b154c376fa5eaaba53ed92c9c8058aadc4374ee6e56bc1386268947b1130b206de00ceeda2c1d6571
746f98a095b6c9658640dda6bae133b0ff7eace27c1cf640a1b774db3ef662ae6bc4f624e179d5b5ea38cf06c7e7784b565054dee4330d2ec8248bb9e11872d7
e02fc0f1c8399158c7e23f1dfbbbd6c2d2935db55db123d1dee6e26e8af7f1fdaf6bdc3f79351cc527c23287bb89cca581a7069bc02885ee69ab19b8bc263c0d
7ee2f356903ef33adff501cf486a4a62eef37ad733b62ae6a3f8bedef91a16e7d888b7907e78434ebf0ffbb76a4144fa69441e341df047c8c676d0322eded028
07641debaee34892c3868e8dc69cf97497481dec0d022751f06e812c38b5097d14f6afcaf13ef697973fbfc136ed1d6e0a42c0e7ebc7c76a5ffb1636a2ae2f7f
523afcb8bcfaf670d7a403ec1fe85b85ddfde31d24c43d474c78790ff92e7f7cc3c18502ef179a7f1a6f88237a1c8f8bb1b784f3f011406753a7335f730a4926
295c15e8aec6de6acf3bc40e97239b9717f3d98a80e8318d08ef53830515b8e88809889c5438d293fe16df7fefb7be3626d67d7883b887c1d79601ebae7af985
a3a4d969a1a6f9c6fe788d3140854eba8309b3723fa92d9f75c25a1fa36dc1b9969adc20bc6143aedac40786331f9762204901a82a9e8230666c1c9091eb69f2
641e69125ca7132c222d2156b9c09b1e18bc24636cace0141084795cdde7744ce54135f190e875e470ff0743bfccfae36f624ff76b699e6ad98bffc022801a3d
299068cec4af97d482090c5d5939eb74adf9b8da557900b32766c3f15691e5bade2b44ec7fd6b143f6bcd3f920e7462e4933592e9f56dbc46350bc6f39b0b3f1
be5bda53c34e05b25588c311bce64a5e40b4214f4a5f0a44103f63de17337095fdcbd837bb203dbda5769769b604dfcbf7141faaff21e8b07f8216df6fd4407c
41375380100022eca65012806918df0ee9f0ed1a7659303dee5ddd200170ccd4447abca182bc9e156e31f6028a199878073ee5bba569a214df2fe5654e6df4e0
1705d7aa0486475cb87757201b7b2dc140202b6e65cd886cc9a35ce0c6e03f98e7c479d2078ffafc91bc6f46766f915adbca1a96fa47d837fc4fbd395029c43d
2beab0436300d3ef14c7365d832a6ead541afcb75f57e85c054990efeb99fa3023df5c5ca17bc380b23fa407e5ac11ce54b897822b39c7080459d7b885bb860b
01194ed027aa1c4473d916cc11b17cd399c8ace03c0b54b309c16f300b07843d12bf9210e7a6c237a21bcb586783e2f8d37bb1a70b5b3abb3608536c91b9e11b
b2332500554591bc2df6159e0daa901201fdd56c7555d8370dac53d55b27efc6be4c1706dc4ca1c08d63bcc30905ab4b8ae3cdd251e1699e31d788a04581a069
1bb81296b18b102e74e4b6024cb4094f62231cb8a70e3bfa67d837f2e5e5b2de93b8682cc487d1fc5eec5b71d8c31ef1bea7fb5677b833db8673d84322c0be9d
a12bec1bfeae1e0f0e85efe57b301eb8b60ede9686ebeaf416a000ee74214a503a36032eae7063af62ce8459465759e816bef3c731f880efe04a8073d0bf13fb
6ea77be3a47533bbfb7175459df48e06d21f62df6eccde23f607bb13ccbc8dcce9f33dc51e73ddfdbac5bd8221ece1f3f5fdcdedb081e1ccda4b65f72a2c513d
b8fe7529e89cb95b4c0220c764a945ac6b4b33176ffd8c573b0d360d1ddb2bb3c882eb735c5d8bcf70fd7bf9fe2cf607c63f4a41753b1afe10fb038f82d44066
ee680baf608f95d67e6b43d8d723ab164f470ac8b975af6a6a52a4b9a63eb39539dc6fb1cb6467e948a6e2841cdc44165a13b88e6a35cd323b2be76ca46719a7
94aa32397fd7cffb64ce59ecab8dead3d06a3e7f8a3d54f01ddcb55113477db3121e54c2bd813da4404f2068c989cc81cf58028cd277ceb5b4d27c6bc3e5ea36
999623f044582c95b5e74b62a8e6ba6b5a861b82bd7349b8a531d5e6cf1251c4bd2c65663ea45cbe8f2d3b56ae1ec0eddc7cd888eac45f77d62cefc5beb5e7f4
e43de2fd70f570f9886b5954582eefc1a116b49c57b1478de8e1e2174e3e9d69b8ca031fe0f3e3c5052eb05ef5433e1a10e5380fa3696a2de0d8ad61d8db5276
f4d8b7760b12e88af214ce5d714ef2bde4c2af108c99184ea6d8dd9327c7a5bd2912dec6be756e6d657dd7b9f7bdd8b7f3440ffb66f9467de5bbc2fff5b9f630
e5d7cb82fe5cdbf2cbc0cee56bb6b67c693fa78a0ef79f11e909fd9185447617246443b71074c1316343785ed24d2c5d71f5377e64e94f650e8eec8e6337e5b7
1e85ff10fb8e508325134e8f18d051ff359953b9efbcdce1f2e9dba9cca9dc78aed18307d761fdf0aa9d33c965377adaec39db1fcbb10447de56703228dcb9ba
61478e41528eb89c893f0bc084e1c7fcb8d8cdfdd5230a8d1f9555e0af861b74bc41b4a88e7e7b71df71b279a52270ce418ff2d6ada79716bc73907c43b1aff7
40f4550e6e60d7e1b71cac290fd8937862c3af8f28f0439e70cb45b9700446701223b4f9139f9ebf0acb4714767f8dac891a39a8951f11dee21e31f14c69cac0
bc5a88a3f504aedcb50a564ae70cef1270065ccc629d154cf5bfe0b73c2bf319b598bd05ca5f22ccdbd58849ae07c18807af6f309e0912117403cef0bbd5d5ad
0edcde95fc57fc866d7dde0da0ff20b63ff7fb563dcac22f3647b2c9390bf861026131de6ec4d2b5562331b3384ee7ff2b80c7fede5c519bf1d10cfe97787ca8
98b7f99ee61245d8141104c184ff6930e1c934e047b33ff8c684ff20141f5ef43bb1af085011e10beebf44a5dfc1fe2f55f9554c8dc017f69fc70a5fd87f61ff79087c5ecd5f7cff89d87fdd99fb6908fc1ff8114cb72552c3030000000049454e44ae426082}}{\nonshppict
{\pict\picscalex55\picscaley55\piccropl0\piccropr0\piccropt0\piccropb0\picw10028\pich2646\picwgoal5685\pichgoal1500\wmetafile8\bliptag1621200673{\*\blipuid 60a18f212a8dbe0cabe7a2cab39478bf}
010009000003824c00000000594c000000000400000003010800050000000b0200000000050000000c0265007c01030000001e00040000000701040004000000
07010400594c0000410b2000cc0064007b010000000064007b0100000000280000007b0100006400000001000800000000000000000000000000000000000000
00000000000000000000ffffff00fefefe00ededed00e3e3e300fcfcfc00f8f8f8007373730005050500aeaeae00dddddd000a0a0a009494940063636300f3f3
f3002b2b2b001c1c1c00141414005c5c5c0023232300bababa009c9c9c0053535300434343003d3d3d000303030078787800a3a3a300323232000e0e0e008383
83003838380001010100d5d5d5004c4c4c007e7e7e00b2b2b200cecece00bcbcbc00bfbfbf006c6c6c008c8c8c007c7c7c00a9a9a900b6b6b600c6c6c600b3b3
b300c5cae200f1f2f800a8afd3008b95c5007c88be004252a000505fa800192d8c005e6caf0025389200e2e5f10099a2cc0033459900d4d7e9006e7ab600b7bd
db000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101020101010202020202010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010101010101010101010101010101
01010101010101010101010101010101020202062b0f0f0f130f0f0f0f0f0f0f0f13130f0f131505020202010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010101010101010101010101010101010101
0101010101010101010205051e1d1310172d020a0b0f2d05262c020116111927020c111010220305020101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101393234363636383d2f01010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010100010101010101010101010101010101010101010101010101010101010101
010101020604220b0b27032701012500000f12000f22150101021600250101010117110b29060502010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101313836363636363636363301010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010001010101010101010101010101010101010101010101010101010101010101020625
13121b23291a000702272009001c2b11071812212b230316002d01012d081c22180f130a06050101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101010101010101010101010101010101010101010101010101010101010101010101013c383636363538363636362f01010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101000101010101010101010101010101010101010101010101010101010101020e0a101704012211
0a01111b03001103001c090d29270128161718041700012d170f230f1706151f0d03060101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010131383a0101013c383636330101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010101010101000101010101010101010101010101010101010101010101010101010106041d161e242c14100d0e051d1c
12001103191c1b001f2a1622150d1e17150021100016101320280101231f1f040201010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101393132373535353533322f010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010101010101010101010101010101010101392f3c0101303736363d01010101302f312f2f390101010101010101010101
0101010101010101010101010101010101010101010101013c2f2f390101302f3c010101010101010101010101010101010101010101392f2f3c0101012f3c01
010101010101010101010101010101010100010101010101010101010101010101010101010101010101010101041a0d2e2128221d13160012240d0000000f06
1d162d001f181f16070f220f17131c150f2e1a131221010622281622210301010101010101010101010101010101010101010101010101010101012f36363636
36363501010101010101010101010101010101010101010101012f36363636363636363636363636363636363636363636363501010101010101010101013032
3b3636363636363636363636363d2f010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101010101010101
2f363636363636363636363501013636362f010101013536362f0101333636363636363636363a0101303d363636363636353c0101013536362f010101013536
3632010135363632010101013236363201013c3436363636342f3836363c013536363201010101010101353636320101303736363636382f3b36363a01010101
01010101010101010101010101000101010101010101010101010101010101010101010101010105041f1e1b21112d01090015150d26011d17221c0e112a2d00
0b222828241f2b16022b00041412160f0c0105231c1222070d0004010101010101010101010101010101010101010101010101010101012f3636363636363501
010101010101010101010101010101010101010101012f363636363636363636363636363636363636363636363635010101010101010101013e383636363636
3636363636363636363636353901010101010101010101012f36363636363635010101010101010101010101010101010101010101010101010101012f363636
363636363636363501013636362f010101013536362f013c36363636363636363634300130383636363636363636310101013536362f01010101353636320101
35363632010101013236363201013436363636363636363634010135363632010101010101013536363201013d36363636363636363638300101010101010101
0101010101010101010001010101010101010101010101010101010101010101010104260d1e1e000d001b0127132d012d1a2820250e12021f0a042216131115
161f0c25291a00101a151b292b2e12002802141d120c13040501010101010101010101010101010101010101010101010101012f363636363636350101010101
0101010101010101010101010101010101012f3636363636363636363636363636363636363636363636350101010101010101013d3636363636363636363636
3636363636363636383e010101010101010101012f36363636363635010101010101010101010101010101010101010101010101010101012f36363635353535
3535353301013636362f010101013536362f01393636363d323d35373a3001013536363635312f323b3b010101013536362f0101010135363632010135363632
0101010132363632013c3636363d2f3e343636363201013536363201010101010101353636320101363636372f2f373636363701010101010101010101010101
01010101010001010101010101010101010101010101010101010101010a1329121e29161322080d282b1b0d1f2a0c1d171a17121328171f10000f151f110915
0000191b0c0c0d0c012b181e220c0c1028010a28090a010101010101010101010101010101010101010101010101012f36363636363635010101010101010101
01010101010101010101010101012f36363636363636363636363636363636363636363636363501010101010101013336363636363636363636363636363636
363636363636310101010101010101012f36363636363635010101010101010101010101010101010101010101010101010101012f3636360101010101010101
01013636362f010101013536362f01013336363b3535373e0101013936363632010101010139010101013536362f010101013536363201013536363201010101
32363632012f363636010101303636363101013536363201010101010101353636320101363636390101013b3636320101010101010101010101010101010101
0100010101010101010101010101010101010101010101010a18140a00010125000d1b1a0f2210132a2d090b0d222b091a291e18160d120816181000001c192a
291e1300170d25010c1e110003011622291c0a0201010101010101010101010101010101010101010101012f3636363636363501010101010101010101010101
010101010101010101012f363636363636363636363636363636363636363636363635010101010101013e363636363636363636363636363636363636363636
3636383c01010101010101012f36363636363635010101010101010101010101010101010101010101010101010101012f363636010101010101010101013636
362f010101013536362f01013c383636363636363d01013136363601010101010101010101013536362f01010101353636320101353636320101010132363632
012f363636300101013536362f010135363632010101010101013536363201013636362f01010133363632010101010101010101010101010101010101000101
0101010101010101010101010101010101010125160d222b00161516162201220000000b10100000280b01170d232922121713132813080f080c000000000800
0000182a0e051c000a012a11161b1f0a02010101010101010101010101010101010101010101012f363636363636350101010101010101010101010101010101
0101010101012f363636363636363636363636363636363636363636363635010101010101013b36363636363636363634333232373b36363636363636363635
01010101010101012f36363636363635010101010101010101010101010101010101010101010101010101012f363636010101010101010101013636362f0101
01013536362f013038363636363636363631013236363835353535353535353301013536362f0101010135363632010135363632010101013236363201303836
36343e30393436362f01013536363201010101010101353636320101343636383139303d36363201010101010101010101010101010101010100010101010101
0101010101010101010101010101212d15130b0328000f250317100f0718221228172508212707252925152b29000f291e0b0f29292c000b0c230d071f132000
10260f0004010603001c151f0a020101010101010101010101010101010101010101012f36363636363635010101010101010101010101010101010101010101
01012f3636363636363501010101010101010101010101010101010101010101013e363636363636363635390101010101012f3436363636363636362f010101
010101012f36363636363635010101010101010101010101010101010101010101010101010101012f363636010101010101010101013636362f010101013536
362f013a36363631013c3b363634013236363636363636363636363601013536362f010101013536363201013536363201010101323636320101313636363636
363636362f010135363632010101010101013536363201013c383636363636363636320101010101010101010101010101010101010001010101010101010101
0101010101010101010418151f080a02030010011017150b0f1d2229102d162001011a23100f22090a1d0b1e2b1d0d0f132700110e1317091d180f172e0f220a
0501011f002d1c0c1f040101010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f36
36363636363501010101010101010101010101010101010101010101013d363636363636363d010101010101010101013d363636363636363d01010101010101
2f36363636363635010101010101010101010101010101010101010101010101010101012f3636362f2f2f2f2f39010101013636362f010101013536362f0135
36363401010133363636013a36363635353535353436363601013536362f010101013536363201013536363201010101333636320101013e3b36363636363636
2f01013536363d01010101010101353636320101013c353636363636363632010101010101010101010101010101010101000101010101010101010101010101
01010101042a1a131300120101141a1d1a0416000000000000100000120b152500161b0b0f0f002c0d20120b0027001910191108001d111d27040f1005251300
0404001724220301010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f3636363636
363501010101010101010101010101010101010101010101013b363636363636340101010101010101010101013436363636363638010101010101012f363636
36363635010101010101010101010101010101010101010101010101010101012f363636363636363632010101013636362f010101013636362f013536363701
01013a363636013c3636362f010101013136363b01013536362f010101013636362f010135363632010101013836363201010101013c3e32313836362f010135
36363630010101010101353636320101010101392f323a3436363201010101010101010101010101010101010100010101010101010101010101010101010104
10271600210c1d1d01241926062523030303032610000d00030e16010d1b150d210f00262800171000250000001d2d030303151d09010e120b0200120105030e
020c1505010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f363636363636350101
01010101010101010101010101010101010101010136363636363636310101010101010101010101013e36363636363636300101010101012f36363636363635
010101010101010101010101010101010101010101010101010101012f36363636363636363201010101363636343c0139333636363c01333636362f01393b36
36340101353636343901013c3836363d0101353636343c0139333636363c010135363638310139333636363a0101013939010101313636363001013536363637
39012f0101013536363201010130390101012f3836362f0101010101010101010101010101010101010001010101010101010101010101010101030b15172b05
01020b12120b0302012528040101010c181c0b00271625291d092b1e29121327040b2d1e29060011012d1001010123000901010515190e05010101012b1c120a
010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f36363636363635010101010101
010101010101010101010101010101013c363636363636360101010101010101010101010101363636363636362f0101010101012f3636363636363501010101
0101010101010101010101010101010101010101010101012f36363632323232322f010101013636363636383636363634010139363636363b36363636330101
3c3836363635343636363830010135363636363836363636340101013536363636363636363636390101013d363b353b3636363501010135363636363638362f
2f36363636320101013a363b353b36363638010101010101010101010101010101010101010001010101010101010101010101010105251a0122001e0e01010d
080a0101010e291707121d00210d19001619052519140317000d1f1a270d031d2d2b0819000b000013151e1b05010101012600040102062b0012210f04010101
0101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f3636363636363501010101010101010101
0101010101010101010101012f3636363636363b0101010101010101010101010101353636363636362f0101010101012f363636363636350101010101010101
01010101010101010101010101010101010101012f36363601010101010101010101363638363636363636383c010101313636363636363636363a01013c3836
3636363636383c010101353638363636363636383c0101013536363636363636363631010101013b363636363636383c0101013536363636363636352f363636
363201010137363636363636363e0101010101010101010101010101010101010100010101010101010101010101010102031325012d1c000c050d0b05010101
0101010101010d0800001d0b00201c22161717121217181f170d221600002b1b2a061200120101010101010101011500030a00002801010c0b0e010101010101
01010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f363636363636350101010101010101010101010101
01010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f36363636363635010101010101010101010101
010101010101010101010101010101012f3636360101010101010101010135353a3c3d3b36343d3901010101013c3d3b36383737363430010101303235363835
3a30010101013335323c3d3436343d39010101013536363d3d3436343d2f01010101013137343638353230010101013335353132353635333c35353535310101
013e3d3536363533390101010101010101010101010101010101010101000101010101010101010101010101060f1a040e0102131a150b030101010101010101
0101232807222529190803030e060303030303030e060e03110b212e0322030012010101010101010101010c0021131202040e03220a05010101010101010101
010101010101012f3636363636363501010101010101010101010101010101010101010101012f36363636363635010101010101010101010101010101010101
010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f363636363636342f2f2f2f2f2f3c010101010101010101
0101010101010101010101012f36363601010101010101010101010101010101010101010101010101010101010101013d300101010101010101010101010101
01010101010101010101010101010101353636320101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101000101010101010101010101010102042229000d25120f2e192c0101010101010101010101172e
15100304200000000b0700000000000008290b0000002d2b1517151d2a01010101010101010101010f0001012b00121817110305010101010101010101010101
0101012f3636363636363501010101010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101
2f363636363636350101010101010101010101010101353636363636362f0101010101012f36363636363636363636363636363634332f010101010101010101
01010101010101012f36363635353535353535330101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010135363632010101010101010101010101010101010101010101010101010101010101010101013e383b2f01010101010101010101
01010101010101010101010101010101010101010100010101010101010101010101010e002c2d170b00110a1d120101010101010101010101012b162c190317
1f1f13001c271c171c0f10000026171c20130117282d0022010101010101010101010101010f29010d13100c150f07050101010101010101010101010101012f
3636363636363501010101010101010101010101010101010101010101012f36363636363635010101010101010101010101010101010101010101012f363636
363636350101010101010101010101010101353636363636362f0101010101012f3636363636363636363636363636363636363b310101010101010101010101
010101012f3636363636363636363635010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101013536363201010101010101010101010101010101010101010101010101010101010101010101353636370101010101010101010101010101
010101010101010101010101010101010100010101010101010101010101022122140c252918251f1c0601010101010101010101010101281211251501012517
001001010c2b1b220f001315082c021d222a19120101010101010101010101010106112d0c151b18292c18030201010101010101010101010101012f36363636
36363501010101010101010101010101010101010101010101012f36363636363635010101010101010101010101010101010101010101012f36363636363635
0101010101010101010101010101353636363636362f0101010101012f3636363636363636363636363636363636363636353001010101010101010101010101
2f363636363636363636363501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010135363632010101010101010101010101010101010101010101010101010101010101010101013d363632010101010101010101010101010101010101
01010101010101010101010101000101010101010101010101010e00171d18001e01150b0401010101010101010101010101011428120c0a2101010e00180114
1c23070e210d1700001a290d1200081e010101010101010101010101010629190a160917082d26280501010101010101010101010101012f3636363636363835
353535353535353535353535010101010101010101012f36363636363638353535353535353535353533010101010101010101012f3636363636363501010101
01010101010101010101353636363636362f0101010101012f3636363636363636363636363636363636363636363430010101010101010101010101302f2f2f
2f2f2f2f2f2f2f3c0101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
313d3b32010101010101010101010101010101010101010101010101010101010101010101013031313001010101010101010101010101010101010101010101
010101010101010101000101010101010101010101051b1913250116130410280e010101010101010101010101010127280723011b01010a001f0129170a1312
210106231000000f2e11081e0101010101010101010101010101031729261115240601130401010101010101010101010101012f363636363636363636363636
3636363636363636010101010101010101012f36363636363636363636363636363636363635010101010101010101012f363636363636350101010101010101
010101010101353636363636362f0101010101012f36363636363636363636363636363636363636363636340101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010001010101010101010101010500161c0101290f121703010101010101010101010101010101271615220e0701010a001f021522012e280c030101
16200000161308290101010101010101010101010101012700251e2c01260c291705010101010101010101010101012f36363636363636363636363636363636
36363636010101010101010101012f36363636363636363636363636363636363635010101010101010101012f36363636363635010101010101010101010101
0101353636363636362f0101010101012f3636363636363636363636363636363636363636363636320101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010001010101010101010101020a100e0c0315130d11150101010101010101010101010101010115172e112d1e01010a001f012a1c0e01051b0401011f002800
001d0b0c0101010101010101010101010101010312120101261d001e1906010101010101010101010101012f3636363636363636363636363636363636363636
010101010101010101012f36363636363636363636363636363636363635010101010101010101012f3636363636363501010101010101010101010101013536
36363636362f0101010101012f363636363636350101010101393e3d363636363636363638300101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101
01010101010101010211121e0103101607132501010101010101010101010101010101071d2711232b01010a0017030f1705152d150a010113082d0815001d29
0101010101010101010101010101010114130315110d1b16102b020101010101010101010101012f363636363636363636363636363636363636363601010101
0101010101012f36363636363636363636363636363636363635010101010101010101012f363636363636350101010101010101010101010101353636363636
362f0101010101012f36363636363635010101010101010139343636363636363631010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100010101010101
0101010106000d001717001b0d1a06010101010101010101010101010101011600151c0f240e010a001a2d102b2c131526040101100f2d1d010f190d01010101
01010101010101010101010103122a210f0c02152b0b020101010101010101010101012f36363636363636363636363636363636363636360101010101010101
01012f36363636363636363636363636363636363635010101010101010101012f363636363636350101010101010101010101010101353636363636362f0101
010101012f3636363636363501010101010101010130383636363636363701010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010102
1e1d11180d0022290b090101010101010101010101010101010101121f2312192b25020a0009141f151d00122b030101111728191e1300160101010101010101
01010101010101010129180121160e120611060101010101010101010101012f363636363636342f2f2f2f2f2f2f2f2f2f2f2f2f010101010101010101012f36
3636363636342f2f2f2f2f2f2f2f2f2f2f3c010101010101010101012f363636363636350101010101010101010101010101353636363636362f010101010101
2f36363636363635010101010101010101013a363636363636380101010101010101010101010101010101010101010101392f2f0101302f3901010101392f2f
2f3001010101012f2f3c01010101010101012f3001010101013c2f2f30010101010101302f2f3001012f3c01010101392f2f3901010101010101013c2f2f2f01
010101010101010101010101302f2f390101010101010101392f2f2f3001010101010101010101010101010101010101010001010101010101010102081a1103
2d0b262a0d0e0101010101010101010101010101010101171d1115002724010a1d0e260b0d0d07101a0e01011d221600000000132d0101010101010101010101
010101010114112c150b1100161c280201010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f3636363636
3635010101010101010101010101010101010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f363636
363636350101010101010101010139363636363636360101010101010101010101353636010101010101010137363636363a3b363b01013c3536363636383301
013c3b3636363b3536362f01013d36383201013c3436363638383636010133363636363d35363639013037363636363b36362f01012f3b36363636363d010101
0101010101010133363636363b36362f01013c353636363636373001010101010101010101010101010101010100010101010101010101011d1a001110120117
2301010101010101010101010101010101011b2000002d0f2615012111051e0f0d170e170d0e01011d221c280a24001009010101010101010101010101010101
0106281e0700150a042d110201010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f363636363636350101
01010101010101010101010101010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f36363636363635
0101010101010101010101363636363636363c0101010101010101010135363601010101010101323636363636363636320139383636363636363b01013b3636
3636363636362f01013836363c0130383636363636363636012f36363636363636363701013536363636363636362f012f363636363636363501010101010101
01013336363636363636362f013c383636363636363b01010101010101010101010101010101010101000101010101010101010e0b06032c0022150f2c010101
0101010101010101010101010101232727112928270c010a10051f0b222c01160b2101011d07192a05121d1d1502010101010101010101010101010101012322
0e0e01010403110101010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f36363636363635010101010101
010101010101010101010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f3636363636363501010101
01010101010101363636363636362f01010101010101010101353636010101010101013536363c01393b36362f013d3636343901313731013936363b39393a36
36362f01013636340101333636343e012f3b3636013236363a013034363632013e3636383130393736362f013b3636373e0139332f0101010101010101393636
363a30303336362f0137363634313030323e0101010101010101010101010101010101010100010101010101010101151d0301012d0d120d0201010101010101
01010101010129120101150a0a1a28072c15020a100411071e180816082701011d28190a0a1115002b05210201010101010101010101010101010916030d2c0e
280f110601010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f3636363636363501010101010101010101
0101010101010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f363636363636350101010101010101
010130363636363636362f01010101010101010101353636010101010101013536360101013236362f01383638300101010101012f3636320101013336362f01
01363635010134363639010101353636013236362f01013e363632013236363a0101013236362f3936363830010101010101010101010101013a363633010101
2f36362f01363636390101010101010101010101010101010101010101010101010001010101010101010113220000000b2b2928010101010101010101010101
01041f170602150a212d0d282714020a22041203170c281e1c0d03010b09190121130a001c00001e05010101010101010101010101010e282e2a0a130a162025
01010101010101010101012f3636363636363501010101010101010101010101010101010101010101012f363636363636350101010101010101010101010101
01010101010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f36363636363635010101010101010101013136
363636363636300101010101010101010135363601010101010101333636373c013d36362f01363635010101010101012f3636320101013236362f0101363635
010136363b0101010135363601313636343e0131363632013536363c0101013236362f2f36363835353535353535010101010101013236362f0101012f36362f
3c363636353535353535353c0101010101010101010101010101010101000101010101010101010f0a0c1a1308220d2801010101010101010101010101210f0b
242b19092101171e2e0a21030d040d1413281e230f2203021d1a190117162100082915000c05010101010101010101010101010d291b211b030d1f1f01010101
010101010101012f3636363636363501010101010101010101010101010101010101010101012f36363636363635010101010101010101010101010101010101
010101012f363636363636350101010101010101010101010101353636363636362f0101010101012f363636363636350101010101010101013c383636363636
36360101010101010101010101353636010101010101013034363636363636362f01363635010101010101012f3636320101013236362f010136363501013636
3401010101353636010135363636363636363201353636390101013236362f2f363636363636363636363c0101010101013236362f0101012f36362f2f363636
363636363636362f0101010101010101010101010101010101000101010101010101010f01010105161c1c2a01010101010101010101010101030d0000001100
16041811212d2d031a0e1e291d1e0a280d0f21011c131d0e001128000d05071c002c01010101010101010101010101280c291e1b180b140f0201010101010101
0101012f3636363636363501010101010101010101010101010101010101010101012f3636363636363501010101010101010101010101010101010101010101
2f363636363636350101010101010101010101010101353636363636362f0101010101012f3636363636363501010101010101013e3836363636363636370101
010101010101010101353636323232323239010130333b36363636362f0136363b010101010101012f3636320101013236362f01013636350101343636300101
013536360101013a3436363636363a013336363e0101013236362f3c36363b323232323536362f0101010101013a36363a0101012f36362f0136363832323232
3536362f0101010101010101010101010101010101000101010101010101010f0101051508291c24010101010101010101010101010e280b1c1d150d001c0800
270d090e150a0d2a29121b071b0f250217220729200f13101c0d280e181b020101010101010101010101011a23010d11132d010f01010101010101010101012f
363636363636342f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f01010101012f363636363636342f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f3c01010101012f363636
363636350101010101010101010101010101353636363636362f0101010101012f3636363636363501010101302f323b36363636363636363631010101010101
010101010135363636363636362f010101010101013536360101373636323001013c01012f3636320101013236362f010136363501013336363d390101353636
010101010101013236362f013e3636343c01013236362f013b36363c0101303b3638010101010101013936363b2f01013e36362f013536362f01010135363639
0101010101010101010101010101010101000101010101010101010f0102211723241304010101010101010101010101010418130e2a160a220f11201c0f2b01
0622120a120b15161a160a06001e15001701030c0d100d2117120e0101010101010101010101010c1721010301210a0f01010101010101010101012f36363636
36363636363636363636363636363636363636363601010101012f36363636363636363636363636363636363636363636363501010101012f36363636363635
0101010101010101010101010101353636363636362f0101010101012f36363636363636363636363636363636363636363636363b0101010101010101010101
0135363635353535353c01013e3b37323536363401013c363636383d3b363a012f3636320101013236362f010136363501013938363636373b36363601013038
35323d3636383001013436363634353636362f013e36363833323b3636330101010101010101373636363b373636362f012f3636363d323b3636370101010101
01010101010101010101010101000101010101010101010f012b121e04151f0601010101010101010101010101012900152d102b0e2318000010222e2900152a
20162106122c011e182b00162915162b092317081d08210101010101010101010101010c1114010e2c00290f01010101010101010101012f3636363636363636
363636363636363636363636363636363601010101012f36363636363636363636363636363636363636363636363501010101012f3636363636363501010101
01010101010101010101353636363636362f0101010101012f36363636363636363636363636363636363636363636362f010101010101010101010101353636
0101010101010101333636363636362f010101313836363636363b012f3636320101013236362f01013636350101013c383636363636363601013e3636363636
36310101013034363636363636362f01013a363636363636370101010101010101013034363636363636362f0101313636363636363430010101010101010101
010101010101010101000101010101010101011c1b0000001f091706010101010101010101010101010e1e00292529181e010c10002d1c0000111f08111d0823
281e21280c1312010000111200131c1300001a2e06010101010101010101011b0f2d25292212060f01010101010101010101012f363636363636363636363636
3636363636363636363636363601010101012f36363636363636363636363636363636363636363636363501010101012f363636363636350101010101010101
010101010101353636363636362f0101010101012f36363636363636363636363636363636363636363636310101010101010101010101010135363601010101
010101012f3335353533390101010101393a3535353339013932322f0101012f32323901013636350101010139333535323b3636010139323535353d2f010101
0101303a3535333536362f010101393d35353d310101010101010101010101013137353d3336362f010101393335353731010101010101010101010101010101
0101010101000101010101010101011c00281d071216280101010101010101010101010101251300180d0c122207032d150e2d10000000000f120d12151b271b
001a011622000800191a281c120d00000401010101010101010101270d211f280101010f01010101010101010101012f36363636363636363636363636363636
36363636363636363601010101012f36363636363636363636363636363636363636363636363501010101012f36363636363635010101010101010101010101
0101353636363636362f0101010101012f36363636363636363636363636363636363636363b3c01010101010101010101010101013536360101010101010101
01010101010101010101010101010101010101010101010101010101010101010136363501010101010101010135363601010101010101010101010101010101
0101013236362f010101010101010101010101010101010101010101010101012f36362f01010101010101010101010101010101010101010101010101010101
010001010101010101010113110200160c131201010101010101010101010101062900111613001103161c290c0c2911000000181e0a01012b292928221e1600
0a231b0c0d1c0f28030216000a0101010101010101010124162d16172a02010f01010101010101010101012f3636363636363636363636363636363636363636
363636363601010101012f36363636363636363636363636363636363636363636363501010101012f3636363636363501010101010101010101010101013536
36363636362f0101010101012f363636363636363636363636363636363636343101010101010101010101010101010101353636363636363636360101010101
01010101010101010101010101010101010101010101010101010101013636350101010101010101013536360101010101010101010101010101010101010132
36362f010101010101010101010101010101010101010101010101012f36362f0101010101010101010101010101010101010101010101010101010101000101
0101010101010113000d0c0d1f28170501010101010101010101010106070016012316290d220d20001d101c10171b1a1c2212161a292c1a1f2800080a010101
061a1e01010107000a0101010101010101010115102d04290022140f01010101010101010101012f363636363636363636363636363636363636363636363636
3601010101012f36363636363636363636363636363636363636363636363501010101012f363636363636350101010101010101010101010101353636363636
362f0101010101012f363636363636363636363636363634373a3901010101010101010101010101010101010135363636363636363636010101010101010101
01010101010101010101010101010101010101010101010101363635010101010101010101353636010101010101010101010101010101010101013236362f01
0101010101010101010101010101010101010101010101012f36362f010101010101010101010101010101010101010101010101010101010100010101010101
0101010f2e2601022d09170e01010101010101010101010102271f1317101b0212000d2718142a1b1209051013292815050123000f2b24180a02010101042101
01010d000a01010101010101010101231d250102270f290f02010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101012f2f2f2f2f2f2f2f2f2f3001010101010101010101010101010101010101010101013132323232323232323201010101010101010101010101
010101010101010101010101010101010101010101333435010101010101010101313536010101010101010101010101010101010101012f37382f0101010101
01010101010101010101010101010101010101013937382f0101010101010101010101010101010101010101010101010101010101000101010101010101010f
290d06291722222d01010101010101010101010101051a00071722290a1411170717180d2b1a1c1d2e2d2e010416101b0a23222821010101010a210101022800
0a01010101010101010101281214222d020e050f0101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010f2b00171e
0723111e01010101010101010101010101010c0014091b0f1702070d0b1e0013090b112a24070a2c0f150401012700070501010102090902020128000a010101
01010101010102280c0d0019110f2a0f010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010f0109001601041f07
01010101010101010101010101021e192e0e152b11170e061710041910101e2207282c082901151325221f11171310131f111f0c292b10000a02010101010101
010101281e03212d2d0d171301010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010110140207002801072802010101
010101010101010101012900240129222a1210210e1a1300130c16151721282c031a151217001000000f1b2d000f2103030e040a050101010101010101010112
292c0301010217130101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101012916010109081a0c120101010101010101
01010101010417001e020e1f0b041c2b14051100132d291207032d16111f0c212b2112122e290622220e0101010101010101010101010101010127182b161d2a
1c281303010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010100010101010101010101211d04080b000d2d1f270101010101010101010101
011420001e011e000008260a050c0f08282315102d2b1300001e03250601271e1e1423001201010101010101010101010101010101011e1f0212000a22101d02
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010001010101010101010105112d1601062121171e01010101010101010101010109111f
2202172c21110d15020326172b291f1609200f0c2b24292c0e05010e1c00121b1702010101010101010101010101010101022a28010920270104100201010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101010101010101010101010101010101010101010100000000000000000000001d0621182c0f28231a0201010101010101010101012c0b0b0d25162d
2c270f0c0a05170b1b070029151d0d2d271020000016030a0013252810260101010101010101010101010101010a1c2803011f07021f1c000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000001010101010101010102221717111f140d171c210101010101010101010101271e1b22160c280000061d
0b01021c282818070f212310110b290718101d1c000000070712010101010101010101010101010102151f12002e220004130e01010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010100010101010101010101010e1d280911161b0d1f290101060e010101010101012b130710002b170000152800050e12
070c2910282e0e01010c14231004270013081d160712010101050a210201010101052121021e0d0a181011202111020101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101010101010101010100010101010101010101010200221029191d1b230d0e02152a0301010206212c160d2811112a0d0f201c1700150e131e0c0101
0101010101010e2a22180010211c0c01151601010125100b25010101010a081d1b162a2502012d1f281202010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101010101010001010101010101010101021e0f1f220d0d24150b270e11001a050101031d0028030f141215020a08040720000110220c010101050201
010101011e2500290e0f25270712020101171d0b160e0101022c080000281b000d260601100e0201010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101000101010101010101010101061d050a0e2c131e1228291d000006010225000018060501121e2c070004041308031d0b26012523090e0201010101
010017020a000011220d010103160f130b03010106071100080d291f110022261105010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01000101010101010101010101051815240f0b0d2c211d001010000e010e170b131d0c01011e170000000a012600281b100e291f170c0301040401010c000302
0a00001c1a120101290b110f00030102030000001d131604270d2210260201010101010101010101010101010101010327232329270101010101010101010101
0101010101010101010101010101010101010101010101270a010101010101010101010a27272727030101010101010101010101010101010101272727270a01
01010101010101010101010101010a2715270301010101010101010a272725010101252703010101010125271527010101010101010101010127272727250101
0101010101010101010101010101032715270a01010101010101010101252727270a010101010101010101010101010101010101010101010101010101010101
0a27272725010101010101010101010101010101010101010327272727030101010101252727270a010101010101010101010101010101010101010101000101
010101010101010101020400280d210129071a1011100005010310100d0016010107121a0f000a02012a00281d28000725261b090d181a280b1e01051b10220c
0d1201011600221f00210101030000191c0d1f0301010a00060101010101010101010101010101010103120000000000001d2301010101012300001801010101
0100000027010101000000230101010101011500180101010101010101270f000000000000220a0101011800002301010101010129100000000000180a010101
23000018010101010a18000000001d0f00001801010322000000001d092200000f0101012518000000001d1800001801010101231d00000000001d2301010101
01010101010101010328000000000018000000010101012710000000000018250101010101010101010101270000002701010101010101010101251800000000
00100901010101180000230101010101010101151d000000001801010109100000000000180a0101010101010101010101010101010101010100010101010101
01010101010105181e061e0d1510121d2213000401012a10290012010128290204171a060101291f00001d1e0e1b1b16182800162c01010e131015010d120101
22181b17081701010200130d220a001c2901282102010101010101010101010101010101031d0000000000000000000f03010101230000180101010101000000
27010101000000230101010101011000002501010101010115000000000000000000150101011800002301010101010112000000000000001003010123000018
0101010a1d0000000000000000001801012200000000000000000000290101251d000000000000000000180101012200000000000000001d0301010101010101
010101010f000000000000000000000101011500000000000000001d25010101010101010101012700000027010101010101010101251d000000000000000015
01010118000023010101010101010a0000000000001801011500000000000000001d250101010101010101010101010101010101010001010101010101010101
01010204182d1c0f1f26171c2716191c2c0c10132c191c0a0126280e290f1d02010101041b07000b250602280b151b0601010101000018291f24012110282c2e
130022161819160c1f062418002b1d0601010101010101010101010101010101120000000018180f000000002301010123000018010101010100000027010101
000000230101010101270000001201010101010a00000000182323121d1001010101180000230101010101012500182927220000001501012300001801010122
0000001d1223120000001801030000000f150922000000000301011000000010282318000000180101230000001d1223230f0023010101010101010101010123
000000002223281d0000000101031d00001d28281d00000010010101010101010101012700000027010101010101010101100000201223100000001d0a010118
000023010101010101012900000010281818010a0000001d28281d0000000f010101010101010101010101010101010101000101010101010101010101010106
29120d1a171f111f2d18001700001a1f2b0b201e01061714130000120101010101062d1e171b0d102a21010101010122100013151f06021e20171e2c0b261210
29001c2b1c01012c07160a02010101010101010101010101010101030000000025010101271d00001d0101012300001801010101010000002701010100000023
010101010118000000000a010101012800000015010101010a2701010101180000230101010101010127010101030000002301012300001801010a0000000f03
010101230000180127000000250101011800000001010900000018030101012800001801011d0000100301010101090301010101010101010101011000001d25
01010127000000010129000000270101032800000015010101010101010101270000002701010101010101010900000029010101290000002801011800002301
01010101010123000000010101010128000000250101031200000009010101010101010101010101010101010100010101010101010101010101010203100d10
1f0000070a0f00050a2513131511112801020d12280f21080401010101010a1316052200250101010101141d040c1e13120101281c1012090b07040e12001e27
1c010102291c06010101010101010101010101010101012700000012010101010123000000270101230000180101010101000000270101010000002301010101
0a000000000028010101010f00002201010101010101010101011800002301010101010101010101012800000027010123000018010109000000090101010123
000018012700000025010101290000000101230000000a0101010123000018012700000009010101010101010101010101010101010103000000280101010127
00000001011800000f010101010110000022010101010101010101270000002701010101010101012800001d01010101011800000f0101180000230101010101
01012300000f01010101011000002201010101031d0000280101010101010101010101010101010101000101010101010101010101010101020a121618252514
151c190f1f1c111b1b1c0c11140103132704290813020101022113222e1c2b22130a0101020e1d080d022511040126111b18122b08141c1f0d1b26291f010121
130a020101010101010101010101010101010127000000090101010101270000002701012300001801010101010000002701010100000023010101011200001d
00001d030101010000001823232323232323231501011800002301010101010101010115100000001d0101012300001801012300000001010101012300001801
011d00000f2501012700000001011200001001010101012300001801270000002823232323232323232701010101010101012700000027010101012700000001
01000000230101010101180000180101010101010101012700000027010101010101010118000018010101010123000000010118000023010101010101012300
00180101010101000000230101010101180000180101010101010101010101010101010101000101010101010101010101010101010e10290e01012c16121918
001d1d2b091f24001e010129170a130000100e050316201b2517252611180402031d2200112b1129010129001e0f282d11101f001d100d2b1c01010d0a020101
01010101010101010101010101010127000000270101010101270000002701012300001801010101010000002701010100000023010101030000000910000023
0101010000000000000000000000001d010118000023010101010101012710000000002015010101230000180101230000000101010101230000180101290000
0000000f000000000101180000180101010101230000180129000000000000000000000000230101010101010101270000002701010101270000000101000000
23010101010123000018010101010101010101270000001223232309030101011800001801010101012300000001011800002301010101010101230000180101
01010100000023010101010118000018010101010101010101010101010101010100010101010101010101010101010101020a0b2b010104071f190800202017
030816120b1501060f0d170026241d280510112c01220c2d10190e0d1d2c2b00231313060121130d16001b251000111e00001012180115120601010101010101
01010101010101010101012700000027010101010127000000270101230000180101010103000000270101010000002301010123000010012300001d01010100
000000000000000000000000010118000012010101010101250000000020120a0101010123000018010129000000030101010123000018010101230000000000
00000000010123000010010101010123000018012700000000000000000000000018010101010101010125000000090101010127000000010100000023010101
0101220000180101010101010101012700000000000000001d230101180000180101010101230000000101180000120101010101010123000018010101010100
00002301010101011800001801010101010101010101010101010101010001010101010101010101010101010101010a1d270121132000001c00000b1300281b
001704010513220e050800201d201d112216000f11000b11190802031c130501011a000c22280f0820001e0600000000122d190a010101010101010101010101
01010101010101270000002701010101012700000027010123000018010101012700000027010101000000230101011d00002801032000001501011800000f01
010101012900000001011800001d0101010101012200000023030101010101012300001801012700000015010101012300001801010101032912181810000018
010129000000250101010123000018010a0000001501010101010f00002301010101010101010100000012010101012700000001011800000f01010101011000
0022010101010101010101270000000000000000000012011200001d01010101011200001001011800001d010101010101012300001801010101011000002201
010101011d0000120101010101010101010101010101010101000101010101010101010101010101010101012116051f00000019010800191900082812001e05
0101101a09190b1e1b0000220e01020719000d1b1d080a2810010102150028160012132000000505220010281111210101010101010101010101010101010101
010101270000002701010101012700000027010123000010250101012300000003010101000000230101150000000a0101120000100101290000001501010103
10000022010118000000150101010101000000120101010101010101230000180101011d0000100a010101230000180101010101010101012200002201010a20
00000f03010101280000180101100000100301010127000000090101010101010101012200000025010101270000000101230000002901010127000000290101
01010101010101270000001223232200000000270900000023010101250000001201011800000015010101010101230000180101010101280000002701010129
00000015010101010101010101010101010101010100010101010101010101010101010101010101052b0c1f2000001a012600162b000012280b001b0501011c
002b2a06191900000f0d0f00000008032925001f0101051b00110c1600002213000003022e201318112101010101010101010101010101010101010101010127
00000027010101010127000000270101230000001d1228100000000f010115230000002301011000001801010125000000090103100000001223231000000027
0101180000000018280f27011d0000100927281d0a010a2318000018010101290000001d28230f00000018010101240f23232318000000290101012800000010
282310000000180101090000001023231200000010010101010101010101012500000000122322000000000101031d0000001015281d00001d03010101010101
01010127000000270101010900000022010f0000001029291d0000000a0101180000000018280f270123180000102323230a010a1d0000001809280000001001
010101010101010101010101010101010100010101010101010101010101010101010101010e1a17131313160e28081113001d082a1e0b001b0e010129111621
16160f181111111313101b0a281d2c0101052b000b0c1e00100b2b1a11110d2100172d110a010101010101010101010101010101010101010101012700000027
0101010101270000002701012300000000000000000000270101180000000023012700000015010101010f0000180101251d0000000000000020280101011800
00000000000018012300000000000000290127000000001801010101120000000000000000001801010112000000000000001d03010101030f00000000000000
0000180101011500000000000000001d250101010101010101010101150000000000000000000001010109000000000000000000090101010101010101010127
00000027010101011800000f01251d00000000000000002301010118000000000000001801000000000000000027010115000000000000000000250101010101
01010101010101010101010101000101010101010101010101010101010101010101060c120502131a000d0716082812191e0d19001a0a010101221116260a25
242e1b250a2a1711280101010e1b000b1e1e0013091f28131221170d100122210101010101010101010101010101010101010101010101270000002701010101
0127000000270101230000291d000000001d15010101180000000023012200001d0101010101150000002701010a1800000000001d2901010101180000221000
00000025012820000000000023012700000000180101010101231d00000000000000180101012200000000000018250101010101032820000000000000001801
01010109100000000000182501010101010101010101010101091000000000000000000101010127100000000000102701010101010101010101012700000027
01010101280000000101251800000000001d15010101011800002210000000002500000000000000002701010109100000000000102501010101010101010101
01010101010101010100010101010101010101010101010101010101010101062b0d0a0500100117131d101f1608071611001c26060102011513100f1616170f
100f0c010101012d1e000828291d1118101107110c01280016282501010101010101010101010101010101010101010101010127000000270101010101270000
002701010a2727010127232327030101010125272727270a01272727250101010101012727270a010101010a152329270101010101012527270a010923232701
01010a09232327030101032727272725010101010101032723090a23000018010101012509232309250101010101010101010309230903230000180101010101
01272923150a01010101010101010101010101010101012729152527000000010101010101252923292501010101010101010101010101270000002701010103
1000000f0101010125152329270101010101012527270a010923232701271200000f272727030101010101272923152501010101010101010101010101010101
0101010101000101010101010101010101010101010101010101010105250f270b2306170000131c11191f090d080000232c030101020101060a010101010101
062c2400000b071500120d101700100026011b0b0f25010101010101010101010101010101010101010101010101012700000027010101010127000000270101
01010101010101010101010101010101032927010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010109290301010101010101010101012300001801010101010101010101010101010101010101010101010123000018010101010101010101
01010101010101010101010101010101010101010101012700000001010101010101010101010101010101010101010101010127000000270101090f00000022
01010101010101010101010101010101010101010101010101012300001801010101010101010101010101010101010101010101010101010101010101010101
0100010101010101010101010101010101010101010101010101250f1301061f1d222217001100001e1a10000000121b2b2101010101020101212b1b07000000
1c2a2900201822000d281200030e2912250101010101010101010101010101010101010101010101010101270000002701010101012700000027010101010101
01010101010101010101010110000015010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101011500000f0101010101010101010101230000180101010101010101010101010101010101010101010101012300001801010101010101010101010101
01010101010101010101010101010101010101270000000101010101010101010101010101010101010101010101012700000000000000000000002701010101
01010101010101010101010101010101010101010101230000180101010101010101010101010101010101010101010101010101010101010101010101000101
010101010101010101010101010101010101010101010121160714180f0226071300171c001e280d00000000000f230c29290c292a0f000000191d0729070017
120800120a020c20290d270301010101010101010101010101010101010101010101010101010127000000270101010101270000002701010101010101010101
01010101010101030000002801010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
22000000010101010101010101010123000018010101010101010101010101010101010101010101010101230000180101010101010101010101010101010101
01010101010101010101010101010127000000010101010101010101010101010101010101010101010101270000000000000000001d15010101010101010101
01010101010101010101010101010101010101271222010101010101010101010101010101010101010101010101010101010101010101010100010101010101
010101010101010101010101010101010101010103211310180201010d1f2a1f16201f070d1a000000101300001d00000b0b00001d290d2318221d070d1a182b
01012200192102010101010101010101010101010101010101010101010101010101012700000027010101010127000000270101010101010101010101010101
0101010122001d2501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101271d0028
01010101010101010101012300001801010101010101010101010101010101010101010101010123000018010101010101010101010101010101010101010101
010101010101010101010127000000010101010101010101010101010101010101010101010101270000000000000018290a0101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010101
0101010101010101010101010101010101020a1e101501012313111316110b0016120f070d221c001d1f0b001022231a18121f001d29112819170d0301231121
03010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01250301010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010103250101010101
01010101010101030928280101010101010101010101010101010101010101010101010a15282801010101010101010101010101010101010101010101010101
01010101010101012723180101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010101010101
010101010101010101010101010101060a1c12150e22001100000b20001310221811000f1229120f1113221f101f0b0c0011001d0013271b2215040201010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100010101010101010101010101010101010101
010101010101010101010101010e25112222100f24071900171107000000081111100b200b00000c0b1f00161c10272628131f23040601010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010001010101010101010101010101010101010101010101
01010101010101010101020e041200081b0222170f00030000001923240c250c231d16180007171211072618131b0e0601010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101000101010101010101010101010101010101010101010101010101
01010101010101010206061b111c111d191e0f00000f0c1010100f10121f10110f10171120101c21060501010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010100010101010101010101010101010101010101010101010101010101010101
010101010101010505050410001100000011121314121516171800190b000b1a0e05050201010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010001010101010101010101010101010101010101010101010101010101010101010101
010101010101020205050600070308090a0b0c0d080e060f03050502020101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101000101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101020201020203000402020101020101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010100010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010100010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010100040000002701ffff030000000000}}}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect
\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid4665521 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par }\pard \ltrpar\qc \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid16467336 {\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid3744639 Mestrado Integrado }{\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid16467336\charrsid16467336 em Engenharia Inform\'e1tica e Computa\'e7\'e3o}{\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid16467336 
\par }{\rtlch\fcs1 \af0\afs24 \ltrch\fcs0 \fs24\lang2070\langfe2070\langnp2070\insrsid16467336\charrsid16467336 
\par }{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid16467336\charrsid4665521 M\'e9todos Formais em Engenharia de Software
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid11993589 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid11993589 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5260342 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par 
\par }\pard \ltrpar\qc \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4665521 {\rtlch\fcs1 \ab\af0\afs40 \ltrch\fcs0 \b\fs40\lang2070\langfe2070\langnp2070\insrsid3744639 Especifica\'e7\'e3o e Teste d}{\rtlch\fcs1 
\ab\af0\afs40 \ltrch\fcs0 \b\fs40\lang2070\langfe2070\langnp2070\insrsid5402033 o }{\rtlch\fcs1 \ab\af0\afs40 \ltrch\fcs0 \b\fs40\lang2070\langfe2070\langnp2070\insrsid5402033\charrsid5402033 Meta modelo de diagramas de transi\'e7\'e3o de estados UML}{
\rtlch\fcs1 \ab\af0\afs40 \ltrch\fcs0 \b\fs40\lang2070\langfe2070\langnp2070\insrsid4665521\charrsid4665521 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5260342 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid11993589 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5260342 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid11993589 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid16467336 
\par 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par }\pard \ltrpar\qc \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4665521 {\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid5402033 Abel Dantas \endash  ei07103}{\rtlch\fcs1 
\af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521 
\par }{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid5402033 S\'e9rgio Cleto \endash  ei05073}{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid5402033\charrsid4665521 
\par }{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521 
\par 
\par }{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid5402033 6 de Dezembro de 2012}{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 {\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521 \page \'cdndice
\par 
\par }\pard\plain \ltrpar\s24\ql \li0\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\field\fldedit{\*\fldinst 
{\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521  TOC \\o "1-3" \\h \\z \\u }}{\fldrslt {\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 
\cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723527"}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200370000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp1030\insrsid1534875\charrsid10973676 
Classe Stack}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723527 \\h }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200370000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 3}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\s25\ql \li400\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin400\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 
{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723528"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200380000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2070\insrsid1534875\charrsid10973676 
Cobertura de testes}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723528 \\h }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200380000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 3}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\s24\ql \li0\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\field\fldedit{\*\fldinst 
{\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723529"}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200390000000065}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp1030\insrsid1534875\charrsid10973676 
Classe TestStack}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723529 \\h }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003200390000000038}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 4}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\s25\ql \li400\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin400\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 
{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723530"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300300000000041}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2070\insrsid1534875\charrsid10973676 
Cobertura de testes}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723530 \\h }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300300000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 4}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\s24\ql \li0\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\field\fldedit{\*\fldinst 
{\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723531"}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300310000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2070\insrsid1534875\charrsid10973676 
Ficheiros de Teste}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723531 \\h }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300310000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\s25\ql \li400\ri0\widctlpar\tqr\tldot\tx8828\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin400\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 
{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723532"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300320000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2070\insrsid1534875\charrsid10973676 
TestGoodUsage.arg}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723532 \\h }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300320000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723533"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300330000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2057\insrsid1534875\charrsid10973676 
TestGoodUsage.arg.exp}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723533 \\h }{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300330000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723534"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300340000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2057\insrsid1534875\charrsid10973676 
TestPopEmptyStack.arg}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723534 \\h }{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300340000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723535"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300350000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2057\insrsid1534875\charrsid10973676 
TestPopEmptyStack.arg.exp}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723535 \\h }{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300350000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723536"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300360000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2057\insrsid1534875\charrsid10973676 
vdmloop.bat}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723536 \\h }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300360000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }{\field\fldedit{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid1534875 HYPERLINK \\l "_Toc191723537"}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\insrsid1534875\charrsid10973676  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\cf2\lang1024\langfe1024\noproof\insrsid929447\charrsid1534875 {\*\datafield 
08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300370000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 \cs27\ul\cf2\lang1024\langfe1024\noproof\langnp2057\insrsid1534875\charrsid10973676 
vdmtest.bat}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875 \tab }{\field{\*\fldinst {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\noproof\webhidden\insrsid1534875  PAGEREF _Toc191723537 \\h }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\noproof\insrsid929447 {\*\datafield 08d0c9ea79f9bace118c8200aa004ba90b02000000080000000e0000005f0054006f00630031003900310037003200330035003300370000000000}}}{\fldrslt {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\noproof\webhidden\insrsid10709779 5}}}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj }}\sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs24 
\ltrch\fcs0 \fs24\lang1024\langfe1024\noproof\langfenp1033\insrsid1534875 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 }}\pard\plain \ltrpar
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sectd \ltrsect
\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0\afs32 \ltrch\fcs0 \fs32\lang2070\langfe2070\langnp2070\insrsid4665521 
\par \page }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5593894  }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5402033 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5593894 
\par 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid5402033 
\par }\pard\plain \ltrpar\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel0\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs32\alang1025 \ltrch\fcs0 
\b\f1\fs32\lang1033\langfe2070\kerning32\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 {\*\bkmkstart _Toc191723531}Ficheiros de Teste{\*\bkmkend _Toc191723531}
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521 {\*\bkmkstart _Toc191723532}TestGoodUsage.arg{\*\bkmkend _Toc191723532}
\par }\pard\plain \ltrpar\s22\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4599294 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 {\field{\*\fldinst {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033  INCLUDETEXT "D:\\\\VDM++ Projects\\\\Stack\\\\TestGoodUsage.arg" \\c AnsiText }}{\fldrslt {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033 new TestFStack().TestGoodUsage()
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 }}\pard\plain \ltrpar
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sectd \ltrsect
\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 {\*\bkmkstart _Toc191723533}TestGoodUsage.arg.exp{\*\bkmkend _Toc191723533}
\par }\pard\plain \ltrpar\s22\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid1656481 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 
{\field\flddirty{\*\fldinst {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033  INCLUDETEXT "D:\\\\VDM++ Projects\\\\Stack\\\\TestGoodUsage.arg.exp" \\c AnsiText }}{\fldrslt {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033 
(no return value)
\par 
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 }}\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 
\ltrch\fcs0 \b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 
{\*\bkmkstart _Toc191723534}TestPopEmptyStack.arg{\*\bkmkend _Toc191723534}
\par }\pard\plain \ltrpar\s22\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid14113571 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 {\field{\*\fldinst {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033  INCLUDETEXT "D:\\\\VDM++ Projects\\\\Stack\\\\TestPopEmptyStack.arg" \\c AnsiText }}{\fldrslt {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033 new TestFStack().TestPopEmptyStack()

\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 }}\pard\plain \ltrpar
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sectd \ltrsect
\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 {\*\bkmkstart _Toc191723535}TestPopEmptyStack.arg.exp{\*\bkmkend _Toc191723535}
\par }\pard\plain \ltrpar\s22\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid4160863 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 
{\field\flddirty{\*\fldinst {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033  INCLUDETEXT "D:\\\\VDM++ Projects\\\\Stack\\\\TestPopEmptyStack.arg.exp" \\c AnsiText }}{\fldrslt {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4665521\charrsid5402033 
(no return value)
\par 
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 }}\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 
\ltrch\fcs0 \b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \sectd \ltrsect\psz1\linex0\endnhere\titlepg\sectdefaultcl\sectrsid1534875\sftnbj {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 
{\*\bkmkstart _Toc191723536}vdmloop.bat{\*\bkmkend _Toc191723536}
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang2070\langfe2070\langnp2070\insrsid4665521\charrsid5402033 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid3744639 {\rtlch\fcs1 \af2 \ltrch\fcs0 \f2\lang2070\langfe2070\langnp2070\insrsid3744639\charrsid5402033 @echo off
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \f2\lang2057\langfe2070\langnp2057\insrsid3744639\charrsid3744639 rem Runs a collection of VDM++ test examples
\par rem Assumes specification is in Word RTF files
\par 
\par set S1=Stack.rtf
\par set S2=TestStack.rtf
\par 
\par 
\par "E:\\Program Files\\The VDM++ Toolbox Academic v8.0\\bin\\vppde" -p -R vdm.tc %S1% %S2%
\par for /R %%f in (*.arg) do call vdmtest "%%f"}{\rtlch\fcs1 \af2 \ltrch\fcs0 \f2\lang2057\langfe2070\langnp2057\insrsid4665521\charrsid3744639 
\par }\pard\plain \ltrpar\s3\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel2\adjustright\rin0\lin0\itap0\pararsid4665521 \rtlch\fcs1 \ab\af1\afs26\alang1025 \ltrch\fcs0 
\b\f1\fs26\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af1 \ltrch\fcs0 \lang2057\langfe2070\langnp2057\insrsid4665521\charrsid4665521 {\*\bkmkstart _Toc191723537}vdmtest.bat{\*\bkmkend _Toc191723537}
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang2057\langfe2070\langnp2057\insrsid4665521\charrsid4665521 
\par }\pard \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid3744639 {\rtlch\fcs1 \af2 \ltrch\fcs0 \f2\lang2057\langfe2070\langnp2057\insrsid3744639\charrsid3744639 @echo off
\par rem Tests the date book specification for one test case (argument)
\par rem -- Output the argument to stdout (for redirect) and "con" (for user feedback)
\par echo VDM Test: '%1' > con
\par echo VDM Test: '%1'
\par 
\par rem short names for specification files in Word RTF Format
\par set S1=Stack.rtf
\par set S2=TestStack.rtf
\par 
\par rem -- Calls the interpreter for this test case
\par "E:\\Program Files\\The VDM++ Toolbox Academic v8.0\\bin\\vppde" -i -D -I -P -Q -R vdm.tc -O %1.res %1 %S1% %S2%
\par 
\par rem -- Check for difference between result of execution and expected result.
\par if EXIST %1.exp fc /w %1.res %1.exp
\par 
\par :end}{\rtlch\fcs1 \af2 \ltrch\fcs0 \f2\lang2057\langfe2070\langnp2057\insrsid4665521\charrsid3744639 
\par }{\*\themedata 504b030414000600080000002100e9de0fbfff0000001c020000130000005b436f6e74656e745f54797065735d2e786d6cac91cb4ec3301045f748fc83e52d4a
9cb2400825e982c78ec7a27cc0c8992416c9d8b2a755fbf74cd25442a820166c2cd933f79e3be372bd1f07b5c3989ca74aaff2422b24eb1b475da5df374fd9ad
5689811a183c61a50f98f4babebc2837878049899a52a57be670674cb23d8e90721f90a4d2fa3802cb35762680fd800ecd7551dc18eb899138e3c943d7e503b6
b01d583deee5f99824e290b4ba3f364eac4a430883b3c092d4eca8f946c916422ecab927f52ea42b89a1cd59c254f919b0e85e6535d135a8de20f20b8c12c3b0
0c895fcf6720192de6bf3b9e89ecdbd6596cbcdd8eb28e7c365ecc4ec1ff1460f53fe813d3cc7f5b7f020000ffff0300504b030414000600080000002100a5d6
a7e7c0000000360100000b0000005f72656c732f2e72656c73848fcf6ac3300c87ef85bd83d17d51d2c31825762fa590432fa37d00e1287f68221bdb1bebdb4f
c7060abb0884a4eff7a93dfeae8bf9e194e720169aaa06c3e2433fcb68e1763dbf7f82c985a4a725085b787086a37bdbb55fbc50d1a33ccd311ba548b6309512
0f88d94fbc52ae4264d1c910d24a45db3462247fa791715fd71f989e19e0364cd3f51652d73760ae8fa8c9ffb3c330cc9e4fc17faf2ce545046e37944c69e462
a1a82fe353bd90a865aad41ed0b5b8f9d6fd010000ffff0300504b0304140006000800000021006b799616830000008a0000001c0000007468656d652f746865
6d652f7468656d654d616e616765722e786d6c0ccc4d0ac3201040e17da17790d93763bb284562b2cbaebbf600439c1a41c7a0d29fdbd7e5e38337cedf14d59b
4b0d592c9c070d8a65cd2e88b7f07c2ca71ba8da481cc52c6ce1c715e6e97818c9b48d13df49c873517d23d59085adb5dd20d6b52bd521ef2cdd5eb9246a3d8b
4757e8d3f729e245eb2b260a0238fd010000ffff0300504b03041400060008000000210030dd4329a8060000a41b0000160000007468656d652f7468656d652f
7468656d65312e786d6cec594f6fdb3614bf0fd87720746f6327761a07758ad8b19b2d4d1bc46e871e698996d850a240d2497d1bdae38001c3ba618715d86d87
615b8116d8a5fb34d93a6c1dd0afb0475292c5585e9236d88aad3e2412f9e3fbff1e1fa9abd7eec70c1d1221294fda5efd72cd4324f1794093b0eddd1ef62fad
79482a9c0498f184b4bd2991deb58df7dfbb8ad755446282607d22d771db8b944ad79796a40fc3585ee62949606ecc458c15bc8a702910f808e8c66c69b9565b
5d8a314d3c94e018c8de1a8fa94fd05093f43672e23d06af89927ac06762a049136785c10607758d9053d965021d62d6f6804fc08f86e4bef210c352c144dbab
999fb7b4717509af678b985ab0b6b4ae6f7ed9ba6c4170b06c788a705430adf71bad2b5b057d03606a1ed7ebf5babd7a41cf00b0ef83a6569632cd467faddec9
699640f6719e76b7d6ac355c7c89feca9cccad4ea7d36c65b258a206641f1b73f8b5da6a6373d9c11b90c537e7f08dce66b7bbeae00dc8e257e7f0fd2badd586
8b37a088d1e4600ead1ddaef67d40bc898b3ed4af81ac0d76a197c86826828a24bb318f3442d8ab518dfe3a20f000d6458d104a9694ac6d88728eee2782428d6
0cf03ac1a5193be4cbb921cd0b495fd054b5bd0f530c1931a3f7eaf9f7af9e3f45c70f9e1d3ff8e9f8e1c3e3073f5a42ceaa6d9c84e5552fbffdeccfc71fa33f
9e7ef3f2d117d57859c6fffac327bffcfc793510d26726ce8b2f9ffcf6ecc98baf3efdfdbb4715f04d814765f890c644a29be408edf3181433567125272371be
15c308d3f28acd249438c19a4b05fd9e8a1cf4cd296699771c393ac4b5e01d01e5a30a787d72cf1178108989a2159c77a2d801ee72ce3a5c545a6147f32a9979
3849c26ae66252c6ed637c58c5bb8b13c7bfbd490a75330f4b47f16e441c31f7184e140e494214d273fc80900aedee52ead87597fa824b3e56e82e451d4c2b4d
32a423279a668bb6690c7e9956e90cfe766cb37b077538abd27a8b1cba48c80acc2a841f12e698f13a9e281c57911ce298950d7e03aba84ac8c154f8655c4f2a
f074481847bd804859b5e696007d4b4edfc150b12addbecba6b18b148a1e54d1bc81392f23b7f84137c2715a851dd0242a633f900710a218ed715505dfe56e86
e877f0034e16bafb0e258ebb4faf06b769e888340b103d331115bebc4eb813bf83291b63624a0d1475a756c734f9bbc2cd28546ecbe1e20a3794ca175f3fae90
fb6d2dd99bb07b55e5ccf68942bd0877b23c77b908e8db5f9db7f024d9239010f35bd4bbe2fcae387bfff9e2bc289f2fbe24cfaa301468dd8bd846dbb4ddf1c2
ae7b4c191ba8292337a469bc25ec3d411f06f53a73e224c5292c8de0516732307070a1c0660d125c7d44553488700a4d7bddd3444299910e254ab984c3a219ae
a4adf1d0f82b7bd46cea4388ad1c12ab5d1ed8e1153d9c9f350a3246aad01c6873462b9ac05999ad5cc988826eafc3acae853a33b7ba11cd1445875ba1b236b1
399483c90bd560b0b0263435085a21b0f22a9cf9356b38ec6046026d77eba3dc2dc60b17e92219e180643ed27acffba86e9c94c7ca9c225a0f1b0cfae0788ad5
4adc5a9aec1b703b8b93caec1a0bd8e5de7b132fe5113cf312503b998e2c2927274bd051db6b35979b1ef271daf6c6704e86c73805af4bdd476216c26593af84
0dfb5393d964f9cc9bad5c313709ea70f561ed3ea7b053075221d51696910d0d339585004b34272bff7213cc7a510a5454a3b349b1b206c1f0af490176745d4b
c663e2abb2b34b23da76f6352ba57ca2881844c1111ab189d8c7e07e1daaa04f40255c77988aa05fe06e4e5bdb4cb9c5394bbaf28d98c1d971ccd20867e556a7
689ec9166e0a522183792b8907ba55ca6e943bbf2a26e52f48957218ffcf54d1fb09dc3eac04da033e5c0d0b8c74a6b43d2e54c4a10aa511f5fb021a07533b20
5ae07e17a621a8e082dafc17e450ffb739676998b48643a4daa7211214f623150942f6a02c99e83b85583ddbbb2c4996113211551257a656ec1139246ca86be0
aadedb3d1441a89b6a929501833b197fee7b9641a3503739e57c732a59b1f7da1cf8a73b1f9bcca0945b874d4393dbbf10b1680f66bbaa5d6f96e77b6f59113d
316bb31a795600b3d256d0cad2fe354538e7566b2bd69cc6cbcd5c38f0e2bcc63058344429dc2121fd07f63f2a7c66bf76e80d75c8f7a1b622f878a18941d840
545fb28d07d205d20e8ea071b283369834296bdaac75d256cb37eb0bee740bbe278cad253b8bbfcf69eca23973d939b97891c6ce2cecd8da8e2d343578f6648a
c2d0383fc818c798cf64e52f597c740f1cbd05df0c264c49134cf09d4a60e8a107260f20f92d47b374e32f000000ffff0300504b030414000600080000002100
0dd1909fb60000001b010000270000007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73848f4d0ac2301484f7
8277086f6fd3ba109126dd88d0add40384e4350d363f2451eced0dae2c082e8761be9969bb979dc9136332de3168aa1a083ae995719ac16db8ec8e4052164e89
d93b64b060828e6f37ed1567914b284d262452282e3198720e274a939cd08a54f980ae38a38f56e422a3a641c8bbd048f7757da0f19b017cc524bd62107bd500
1996509affb3fd381a89672f1f165dfe514173d9850528a2c6cce0239baa4c04ca5bbabac4df000000ffff0300504b01022d0014000600080000002100e9de0f
bfff0000001c0200001300000000000000000000000000000000005b436f6e74656e745f54797065735d2e786d6c504b01022d0014000600080000002100a5d6
a7e7c0000000360100000b00000000000000000000000000300100005f72656c732f2e72656c73504b01022d00140006000800000021006b799616830000008a
0000001c00000000000000000000000000190200007468656d652f7468656d652f7468656d654d616e616765722e786d6c504b01022d00140006000800000021
0030dd4329a8060000a41b00001600000000000000000000000000d60200007468656d652f7468656d652f7468656d65312e786d6c504b01022d001400060008
00000021000dd1909fb60000001b0100002700000000000000000000000000b20900007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73504b050600000000050005005d010000ad0a00000000}
{\*\colorschememapping 3c3f786d6c2076657273696f6e3d22312e302220656e636f64696e673d225554462d3822207374616e64616c6f6e653d22796573223f3e0d0a3c613a636c724d
617020786d6c6e733a613d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f72672f64726177696e676d6c2f323030362f6d6169
6e22206267313d226c743122207478313d22646b3122206267323d226c743222207478323d22646b322220616363656e74313d22616363656e74312220616363
656e74323d22616363656e74322220616363656e74333d22616363656e74332220616363656e74343d22616363656e74342220616363656e74353d22616363656e74352220616363656e74363d22616363656e74362220686c696e6b3d22686c696e6b2220666f6c486c696e6b3d22666f6c486c696e6b222f3e}
{\*\latentstyles\lsdstimax267\lsdlockeddef0\lsdsemihiddendef1\lsdunhideuseddef1\lsdqformatdef0\lsdprioritydef99{\lsdlockedexcept \lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority0 \lsdlocked0 Normal;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority9 \lsdlocked0 heading 1;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority9 \lsdlocked0 heading 2;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority9 \lsdlocked0 heading 3;
\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 4;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 5;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 6;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 7;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 8;
\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 9;\lsdpriority39 \lsdlocked0 toc 1;\lsdpriority39 \lsdlocked0 toc 2;\lsdpriority39 \lsdlocked0 toc 3;\lsdpriority39 \lsdlocked0 toc 4;\lsdpriority39 \lsdlocked0 toc 5;\lsdpriority39 \lsdlocked0 toc 6;
\lsdpriority39 \lsdlocked0 toc 7;\lsdpriority39 \lsdlocked0 toc 8;\lsdpriority39 \lsdlocked0 toc 9;\lsdqformat1 \lsdpriority35 \lsdlocked0 caption;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority10 \lsdlocked0 Title;
\lsdpriority1 \lsdlocked0 Default Paragraph Font;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority11 \lsdlocked0 Subtitle;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority22 \lsdlocked0 Strong;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority20 \lsdlocked0 Emphasis;\lsdsemihidden0 \lsdunhideused0 \lsdpriority59 \lsdlocked0 Table Grid;\lsdunhideused0 \lsdlocked0 Placeholder Text;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority1 \lsdlocked0 No Spacing;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 1;
\lsdunhideused0 \lsdlocked0 Revision;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority34 \lsdlocked0 List Paragraph;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority29 \lsdlocked0 Quote;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority30 \lsdlocked0 Intense Quote;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority19 \lsdlocked0 Subtle Emphasis;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority21 \lsdlocked0 Intense Emphasis;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority31 \lsdlocked0 Subtle Reference;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority32 \lsdlocked0 Intense Reference;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority33 \lsdlocked0 Book Title;\lsdpriority37 \lsdlocked0 Bibliography;
\lsdqformat1 \lsdpriority39 \lsdlocked0 TOC Heading;}}{\*\datastore 0105000002000000180000004d73786d6c322e534158584d4c5265616465722e362e3000000000000000000000060000
d0cf11e0a1b11ae1000000000000000000000000000000003e000300feff090006000000000000000000000001000000010000000000000000100000feffffff00000000feffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
fffffffffffffffffdfffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffff52006f006f007400200045006e00740072007900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000016000500ffffffffffffffffffffffff0c6ad98892f1d411a65f0040963251e500000000000000000000000080d8
2a28cfd3cd01feffffff00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff00000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000105000000000000}}